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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
