<sect1 id="unicode">
<title>How to type Unicode symbols</title>
- Unicode characters can be typed in several ways:
+ <para>Unicode characters can be typed in several ways:</para>
<itemizedlist>
- <listitem>Using the "Shift+Ctrl+Unicode code" standard
- Gnome shortcut. E.g. Shift+Ctrl+3a9 generates "Ω".
+ <listitem><para>Using the "Shift+Ctrl+Unicode code" standard Gnome shortcut. E.g. Shift+Ctrl+3a9 generates "Ω".</para>
</listitem>
- <listitem>Typing the ligature "\name" where "name"
+ <listitem><para>Typing the ligature "\name" where "name"
is a standard Unicode or LaTeX name for the character. Pressing
"Alt+L" just after the last character of the name converts
the ligature to the Unicode symbol. This operation is
not required since Matita understands also the "\name"
sequences. E.g. "\Omega" followed by Alt+L generates
- "Ω".
+ "Ω".</para>
</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 "⇒").
+ <listitem><para>Typing one of the following ligatures (and optionally
+ converting the ligature to the Unicode character has described before):
+ ":=" (which stands for ≝); "->" (which stands for
+ "→"); "=>" (which stands for "⇒").</para>
</listitem>
</itemizedlist>
</sect1>
an action in the drop down menu right of it.</para>
<sect3 id="locate">
<title>Searching by name</title>
- &TODO;
- </sect3>
+ <para> &TODO;</para>
+ </sect3>
<sect3 id="hint">
<title>List of lemmas that can be applied</title>
- &TODO;
- </sect3>
+ <para> &TODO;</para>
+ </sect3>
<sect3 id="match">
<title>Searching by exact match</title>
- &TODO;
- </sect3>
+ <para> &TODO;</para>
+ </sect3>
<sect3 id="elim">
<title>List of elimination principles for a given type</title>
- &TODO;
- </sect3>
+ <para> &TODO;</para>
+ </sect3>
<sect3 id="instance">
<title>Searching by instantiation</title>
- &TODO;
- </sect3>
+ <para> &TODO;</para>
+ </sect3>
</sect2>
</sect1>
<sect1 id="authoring">
<title>Authoring</title>
- &TODO;
- </sect1>
+ <sect2 id="developments">
+ <title>How to use developments</title>
+ <para> &TODO;</para>
+ </sect2>
+ </sect1>
</chapter>