--- a/NEWS Tue Dec 29 19:11:23 2015 +0100
+++ b/NEWS Tue Dec 29 20:58:18 2015 +0100
@@ -31,6 +31,18 @@
remains available under print mode "ASCII", but less important syntax
has been removed (see below).
+* Support for arrows of various lengths, with rendering in LaTeX and
+Isabelle fonts:
+
+ \<leftarrow>
+ \<longleftarrow>
+ \<longlongleftarrow>
+ \<longlonglongleftarrow>
+ \<rightarrow>
+ \<longrightarrow>
+ \<longlongrightarrow>
+ \<longlonglongrightarrow>
+
*** Prover IDE -- Isabelle/Scala/jEdit ***