Plain text for lambda

Stream: new members

[Max Glick]

Frivolous question here: Is there a plain text version of '\lambda'? In the same sense that you can use 'nat' instead of '\N' or 'Pi' in place of '\Pi'.

[Yaël Dillies]

assume

[Max Glick]

Thanks.

[Eric Wieser]

Or fun

[Mario Carneiro]

assume is actually slightly different than \lam (it allows you to omit the variable name, for example). The actual plain text equivalent of \lam is fun.