branch for universe

[helm.git] / matita / help / C / sec_usernotation.xml

diff --git a/matita/help/C/sec_usernotation.xml b/matita/help/C/sec_usernotation.xml
new file mode 100644 (file)
index 0000000..147edc0
--- /dev/null
+++ b/matita/help/C/sec_usernotation.xml
@@ -0,0 +1,18 @@
+
+<!-- ============ User Notation ====================== -->
+<chapter id="sec_usernotation">
+ <title>Extending the syntax</title>
+ <sect1>
+   <title>Introduction</title>
+   <para>
+     &TODO;
+   </para>
+   <para id="notation">
+     notation: &TODO;
+   </para>
+   <para id="interpretation">
+     interpretation: &TODO;
+   </para>
+ </sect1>
+</chapter>
+