X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=c1feb6d9249d142030b4238c3ae2e7a045450344;hb=b1ee9ef71c8badde1b783e0e0296a4e7d87a8aa4;hp=f7d435e70733439a4230046d57cee1ae42fe256f;hpb=63349b091357ba4cf3b9924bd1ffecd543f37252;p=helm.git

diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index f7d435e70..c1feb6d92 100644
--- a/matita/help/C/sec_gettingstarted.xml
+++ b/matita/help/C/sec_gettingstarted.xml
@@ -26,8 +26,7 @@
      </listitem>
      <listitem>Typing one of the following ligatures (and opzionally converting
       the ligature to the Unicode character has described before):
-      &quot;:=&quot; (which stands for ≝); &quot;->&quot; (which stands for &quot;→&quot;);
-      &quot;->&quot; (which stands for &quot;⇒&quot;).
+      &quot;:=&quot; (which stands for ≝); &quot;->&quot; (which stands for &quot;→&quot;); &quot;=>&quot; (which stands for &quot;⇒&quot;).
      </listitem>
     </itemizedlist>
   </sect1>