mathtext examples from Bonn

1 files changed, 20 insertions, 0 deletions

diff --git a/examples/mathtext/LexLogic.gf b/examples/mathtext/LexLogic.gf
new file mode 100644
index 000000000..c80ff27bc
--- /dev/null
+++ b/examples/mathtext/LexLogic.gf
@@ -0,0 +1,20 @@
+interface LexLogic = open Syntax, Prelude in {
+
+oper
+  case_N : N ; -- it is not the case that
+  such_A : A ; -- number such that 
+  by_Prep : Prep ; -- by Thm 5
+  all_Det : Det ; -- the article with "all"
+  axiom_N : N ;
+  theorem_N : N ;
+  definition_N : N ;
+  define_V3 : V3 ;  -- we define a as b
+  define_V2V : V2V ;  -- we define x to be f if p
+  iff_Subj : Subj ; -- if and only if
+oper
+  indef : Bool -> CN -> NP = \b -> case b of {
+    True => mkNP aPl_Det ;
+    False => mkNP aSg_Det
+    } ;
+
+}