Hi, it would be nice if we could also get "<-" as abbreviation for \<leftarrow> (and probably <-- for \<longleftarrow) by default. \<leftarrow> is regularly used in Monad syntax and list comprehensions and it would be nice to have the abbreviations matching the rightarrow-variants. -- Lars