</listitem>
<listitem>Typing one of the following ligatures (and opzionally converting
the ligature to the Unicode character has described before):
- ":=" (which stands for ≝); "->" (which stands for "→");
- "->" (which stands for "⇒").
+ ":=" (which stands for ≝); "->" (which stands for "→"); "=>" (which stands for "⇒").
</listitem>
</itemizedlist>
</sect1>
</sect1>
<sect1 id="authoring">
<title>Authoring</title>
+ <sect2 id="developments">
+ <title>How to use developments</title>
+ &TODO;
+ </sect2>
&TODO;
</sect1>
</chapter>