<!-- ============ User Notation ====================== -->
<chapter id="sec_usernotation">
<title>Extending the syntax</title>
- &TODO;
+ <sect1>
+ <title>Introduction</title>
+ <para>
+ &TODO;
+ </para>
+ <para id="notation">
+ notation: &TODO;
+ </para>
+ <para id="interpretation">
+ interpretation: &TODO;
+ </para>
+ </sect1>
</chapter>