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