1 files changed, 0 insertions, 15 deletions
diff --git a/examples/mathtext/SymbolsX.gf b/examples/mathtext/SymbolsX.gf
deleted file mode 100644
index be362f5e9..000000000
--- a/examples/mathtext/SymbolsX.gf
+++ /dev/null
@@ -1,15 +0,0 @@
-concrete SymbolsX of Symbols = open Formal in {
-
-lincat 
-  Exp = TermPrec ; 
-
-lin 
---  EInt i = constant i.s ;
-  EVar x = constant x.s ;
-  EIn = infixn 0 "\\in" ;
-  EPlus = infixl 2 "+" ;
-  ETimes = infixl 3 "*" ;
-  EEq = infixn 0 "=" ;
-  EGt = infixn 0 ">" ;
-  ELt = infixn 0 "<" ;
-}