examples/mathtext/SymbolsX.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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 "<" ;
}