</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>