--- a/NEWS Tue Dec 29 20:58:18 2015 +0100
+++ b/NEWS Tue Dec 29 21:51:58 2015 +0100
@@ -31,17 +31,8 @@
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>
+* Support for more arrow symbols, with rendering in LaTeX and
+Isabelle fonts: \<Lleftarrow> \<Rrightarrow> \<longlongleftarrow> \<longlongrightarrow> \<longlonglongleftarrow> \<longlonglongrightarrow>
*** Prover IDE -- Isabelle/Scala/jEdit ***