[isabelle-dev] Abbreviation for \<leftarrow>

Lars Noschinski noschinl at in.tum.de
Wed Mar 5 16:06:39 CET 2014


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

  -- Lars

More information about the isabelle-dev mailing list