Applikation (a1 a2)
Abstraktion (\x.t) (\ statt λ - ist einfacher zu tippen)
Konstanten "A-Z(a-zA-Z0-9)*" - zu Deutsch: mit grossen Anfangsbuchstaben
Variablen "a-z" - zu Deutsch: kleine Buchstaben (Achtung! Es gibt also nur 26 Variablen!)
Hinweis: Die Seite sieht im Firefox am besten aus. Den Sourcecode gibts hier.
Lob, Kritik und Bugreports nehme ich gerne per Mail entgegen: Markus Dangl - danglm "AT" in.tum.de