]> matita.cs.unibo.it Git - helm.git/blob - matita/help/C/sec_usernotation.xml
- added some aliases
[helm.git] / matita / help / C / sec_usernotation.xml
1
2 <!-- ============ User Notation ====================== -->
3 <chapter id="sec_usernotation">
4  <title>Extending the syntax</title>
5  <sect1>
6    <title>Introduction</title>
7    <para>
8      &TODO;
9    </para>
10    <para id="notation">
11      notation: &TODO;
12    </para>
13    <para id="interpretation">
14      interpretation: &TODO;
15    </para>
16  </sect1>
17 </chapter>
18