font (CMR10 cmr10.pfa CMR10)
font (CMR7 cmr7.pfa CMR7)
font (CMMI10 cmmi10.pfa CMMI10)
font (CMSY10 cmsy10.pfa CMSY10)
font (CMSY7 cmsy7.pfa CMSY7)
font (CMEX10 cmex10.pfa CMEX10)
font (MSBM10 msbm10.pfa MSBM10)
font (MSAM10 msam10.pfa MSAM10)
font (EUFM10 eufm10.pfa EUFM10)
#font (GillSans gn______.pfa Sans)
font (NimbusSanL-Regu n019003l.pfa Sans)
#font (rsfs10 rsfs10.pfa Script)
#font (rsfs7 rsfs7.pfa Script7)
font (TypoScript TypoScript10.pfa Script)
font (TypoScript TypoScript10.pfa Script7)
var (ph (glyph CMMI10 10 39))
var (ps (glyph CMMI10 10 32))
var (ch (glyph CMMI10 10 31))
var (th (glyph CMMI10 10 18))
var (ta (glyph CMMI10 10 28))
var (et (glyph CMMI10 10 17))
var (ze (glyph CMMI10 10 16))
term (-> (infix r 250 (glyph CMSY10 10 33)))
term (-. (unary 1000 (glyph CMSY10 10 58)))
term (<-> (infix n 100 (glyph CMSY10 10 36)))
term (/\ (infix r 400 (glyph CMSY10 10 94)))
term (\/ (infix r 300 (glyph CMSY10 10 95)))
term (|- (unary 0 (hbox (glyph CMSY10 10 96) (sp 2))))

term (/\/\ (ternary n 400 (glyph CMSY10 10 94) (glyph CMSY10 10 94)))
term (\/\/ (ternary n 300 (glyph CMSY10 10 95) (glyph CMSY10 10 95)))

term (A. (binder 40 (glyph CMSY10 10 56)))
term (E. (binder 40 (glyph CMSY10 10 57)))
term (E! (binder 40 (hbox (glyph CMSY10 10 57) (string CMR10 10 !))))
term (E* (binder 40 (hbox (glyph CMSY10 10 57) (string CMR10 10 *))))

term (A.e. (qbinder 40 (glyph CMSY10 10 56) (glyph CMSY10 10 50)))
term (E.e. (qbinder 40 (glyph CMSY10 10 57) (glyph CMSY10 10 50)))
term (E!e. (qbinder 40 (hbox (glyph CMSY10 10 57) (string CMR10 10 !)) (glyph CMSY10 10 50)))
term (E*e. (qbinder 40 (hbox (glyph CMSY10 10 57) (string CMR10 10 *)) (glyph CMSY10 10 50)))

term (= (infix n 1050 (string CMR10 10 =)))
term (e. (infix n 1050 (glyph CMSY10 10 50)))
term (e/ (infix n 1050 (hbox (glyph CMSY10 10 54) (glyph CMSY10 10 50))))
term (C_ (infix n 1050 (glyph CMSY10 10 18)))
term (C: (infix n 1050 (glyph CMSY10 10 26)))
term (=/= (infix n 1050 (hbox (glyph CMSY10 10 54) (string CMR10 10 =))))

term (\ (infix n 3500 (glyph CMSY10 10 110)))
term (i^i (infix n 3500 (glyph CMSY10 10 92)))
term (u. (infix n 3500 (glyph CMSY10 10 91)))
term (X. (infix n 3500 (glyph CMSY10 10 2)))
term (o. (infix n 3500 (glyph CMSY10 10 177)))
term (|` (infix n 3500 (glyph MSAM10 10 22)))
term (" (infix n 3500 (string CMR10 10 ``)))
term (` (infix n 3500 (string CMR10 10 `)))
term (/. (infix n 3500 (glyph MSBM10 10 193)))

term (U. (unary 3300 (rise 7 (glyph CMEX10 8 83))))
term (|^| (unary 3300 (rise 7 (glyph CMEX10 8 84))))
term (U_ (qbinder 1100 (rise 7 (glyph CMEX10 8 83)) (glyph CMSY10 10 50)))
term (|^|_ (qbinder 1100 (rise 7 (glyph CMEX10 8 84)) (glyph CMSY10 10 50)))

term (P~ (unary 3600 (hbox (string Script 10 P))))
term (`' (unary 3600 (rise 4 (glyph MSAM10 7 96))))
term (dom (unary 3550 (hbox (string CMR10 10 dom) (sp 2))))
term (ran (unary 3550 (hbox (string CMR10 10 ran) (sp 2))))
term (suc (unary 3550 (hbox (string CMR10 10 suc) (sp 2))))

term (Rel (unary 3700 (hbox (string CMR10 10 Rel) (sp 2))))
term (Fun (unary 3700 (hbox (string CMR10 10 Fun) (sp 2))))
term (Ord (unary 3700 (hbox (string CMR10 10 Ord) (sp 2))))
term (Lim (unary 3700 (hbox (string CMR10 10 Lim) (sp 2))))
term (Po (unary 3700 (hbox (string CMR10 10 Po) (sp 2))))
term (Fr (unary 3700 (hbox (string CMR10 10 Fr) (sp 2))))
term (Tr (unary 3700 (hbox (string CMR10 10 Tr) (sp 2))))
term (We (unary 3700 (hbox (string CMR10 10 We) (sp 2))))
term (Er (unary 3700 (hbox (string CMR10 10 Er) (sp 2))))

term (On (const (string CMR10 10 On)))
term (card (const (string CMR10 10 card)))
term (cf (const (string CMR10 10 cf)))
term (rank (const (string CMR10 10 rank)))
term (R1 (const (string CMR10 10 R1)))
term (limsup (const (string CMR10 10 limsup)))
term (C. (const (string CMR10 10 C)))

term (1st (const (hbox (string CMR10 10 1) (rise 3 (string CMR7 7 st)))))
term (2nd (const (hbox (string CMR10 10 2) (rise 3 (string CMR7 7 nd)))))

term ({} (sn 3800 (glyph CMSY10 10 102) (glyph CMSY10 10 103)))
term ({|} (compr 3800 (glyph CMSY10 10 102) (hbox (sp 1) (glyph CMSY10 10 106) (sp 2)) (glyph CMSY10 10 103)))
term (<,> (compr 3800 (glyph CMSY10 10 104) (hbox (string CMR10 10 ,) (sp 1)) (glyph CMSY10 10 105)))
term ({,} (compr 3800 (glyph CMSY10 10 102) (hbox (string CMR10 10 ,) (sp 1)) (glyph CMSY10 10 103))
)
term ({,,} (compr3 3800 (glyph CMSY10 10 102) (hbox (string CMR10 10 ,) (sp 1)) (hbox (string CMR10 10 ,) (sp 1)) (glyph CMSY10 10 103)))
term ({e.|} (compr3 3800 (glyph CMSY10 10 102) (glyph CMSY10 10 50) (hbox (sp 2) (glyph CMSY10 10 106) (sp 2)) (glyph CMSY10 10 103)))
term ({<,>|} (compr3 3800 (hbox (glyph CMSY10 10 102) (glyph CMSY10 10 104)) (hbox (string CMR10 10 ,) (sp 1)) (hbox (glyph CMSY10 10 105) (sp 2) (glyph CMSY10 10 106) (sp 2)) (glyph CMSY10 10 103)))
term ({<<,>,>|} (compr4 3800 (hbox (glyph CMSY10 10 102) (glyph CMSY10 10 104) (glyph CMSY10 10 104)) (hbox (string CMR10 10 ,) (sp 1)) (hbox (glyph CMSY10 10 105) (string CMR10 10 ,) (sp 1)) (hbox (glyph CMSY10 10 105) (sp 2) (glyph CMSY10 10 106) (sp 2)) (glyph CMSY10 10 103)))
term ([] (quo 3600 (string CMR10 10 [) (string CMR10 10 ])))

term ([/] (subst 1100 (string CMR10 10 [) (string CMR10 10 /) (string CMR10 10 ])))
term ([_/]_ (subst 1100 (hbox (string CMR10 10 [) (sp -2) (string CMR10 10 [))(string CMR10 10 /) (hbox (string CMR10 10 ]) (sp -2) (string CMR10 10 ]))))

term (:--> (ternary n 1100 (string CMR10 10 :) (glyph CMSY10 10 33)))
term (:-1-1-> (ternary n 1100 (string CMR10 10 :) (hbox (glyph CMSY10 10 33) (string CMR7 7 1-1))))
term (:-onto-> (ternary n 1100 (string CMR10 10 :) (hbox (glyph CMSY10 10 33) (string CMR7 7 onto))))
term (:-1-1-onto-> (ternary n 1100 (string CMR10 10 :) (hbox (glyph CMSY10 10 33) (string CMR7 7 1-1-onto))))

term ({/} (const (glyph CMSY10 10 59)))
term (V (const (string CMR10 10 V)))
br (E (infix n 1050 (string CMMI10 10 E)))
br (I (infix n 1050 (string CMMI10 10 I)))
term (om (const (glyph CMMI10 10 33)))
term (aleph (const (glyph CMSY10 10 64)))

term (0 (const (string CMR10 10 0)))
term (1 (const (string CMR10 10 1)))
term (2 (const (string CMR10 10 2)))
term (3 (const (string CMR10 10 3)))
term (4 (const (string CMR10 10 4)))
term (5 (const (string CMR10 10 5)))
term (6 (const (string CMR10 10 6)))
term (7 (const (string CMR10 10 7)))
term (8 (const (string CMR10 10 8)))
term (9 (const (string CMR10 10 9)))
term (CC (const (string MSBM10 10 C)))
term (NN (const (string MSBM10 10 N)))
term (NN0 (const (hbox (string MSBM10 10 N) (rise -2 (string CMR7 7 0)))))
term (QQ (const (string MSBM10 10 Q)))
term (RR (const (string MSBM10 10 R)))
term (RR* (const (hbox (string MSBM10 10 R) (string CMR10 10 *))))
term (ZZ (const (string MSBM10 10 Z)))
term (+oo (const (hbox (string CMR10 10 +) (glyph CMSY10 10 49))))
term (-oo (const (hbox (glyph CMSY10 10 0) (glyph CMSY10 10 49))))

br (< (infix n 1050 (string CMMI10 10 <)))
br (<RR (infix n 1050 (hbox (string CMMI10 10 <) (rise -2 (string MSBM10 7 R)))))
br (<_ (infix n 1050 (glyph CMSY10 10 20)))
br (~~ (infix n 1050 (glyph CMSY10 10 188)))
br (~<_ (infix n 1050 (glyph MSAM10 10 52)))
br (~< (infix n 1050 (glyph CMSY10 10 193)))
br (~~> (infix n 1050 (glyph MSAM10 10 32)))

term (1o (const (hbox (string CMR10 10 1) (rise -2 (string CMR7 7 o)))))
term (2o (const (hbox (string CMR10 10 2) (rise -2 (string CMR7 7 o)))))
opr (+o (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string CMR7 7 o)))))
opr (-o (infix l 2200 (hbox (glyph CMSY10 10 0) (rise -2 (string CMR7 7 o)))))
opr (.o (infix l 2300 (hbox (glyph CMSY10 10 1) (rise -2 (string CMR7 7 o)))))
opr (^o (infix l 2400 (hbox (glyph CMSY10 10 34) (rise -2 (string CMR7 7 o)))))

opr (+c (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string CMR7 7 c)))))

term (N. (const (string CMSY10 10 N)))
br (<N (infix l 2200 (hbox (string CMMI10 10 <) (rise -2 (string CMSY7 7 N)))))
opr (+N (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string CMSY7 7 N)))))
opr (.N (infix l 2300 (hbox (glyph CMSY10 10 1) (rise -2 (string CMSY7 7 N)))))

term (Q. (const (string CMSY10 10 Q)))
br (~Q (infix l 2300 (hbox (glyph MSBM10 10 115) (rise -2 (string CMSY7 7 Q)))))
br (<Q (infix l 2200 (hbox (string CMMI10 10 <) (rise -2 (string CMSY7 7 Q)))))
opr (+Q (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string CMSY7 7 Q)))))
opr (.Q (infix l 2300 (hbox (glyph CMSY10 10 1) (rise -2 (string CMSY7 7 Q)))))
term (*Q (const (hbox (string CMR10 10 *) (rise -2 (string CMSY7 7 Q)))))
term (1Q (const (hbox (string CMR10 10 1) (rise -2 (string CMSY7 7 Q)))))

term (P. (const (string CMSY10 10 P)))
br (<P (infix l 2200 (hbox (string CMMI10 10 <) (rise -2 (string CMSY7 7 P)))))
term (1P (const (hbox (string CMR10 10 1) (rise -2 (string CMSY7 7 P)))))
opr (+P. (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string CMSY7 7 P)))))
opr (.P. (infix l 2300 (hbox (glyph CMSY10 10 1) (rise -2 (string CMSY7 7 P)))))

term (R. (const (string CMSY10 10 R)))
br (~R (infix l 2300 (hbox (glyph MSBM10 10 115) (rise -2 (string CMSY7 7 R)))))
opr (+R (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string CMSY7 7 R)))))
opr (.R (infix l 2300 (hbox (glyph CMSY10 10 1) (rise -2 (string CMSY7 7 R)))))
term (0R (const (hbox (string CMR10 10 0) (rise -2 (string CMSY7 7 R)))))
term (1R (const (hbox (string CMR10 10 1) (rise -2 (string CMSY7 7 R)))))
term (-1R (const (hbox (glyph CMSY10 10 0) (string CMR10 10 1) (rise -2 (string CMSY7 7 R)))))
br (<R (infix l 2200 (hbox (string CMMI10 10 <) (rise -2 (string CMSY7 7 R)))))

term (ZZ> (const (hbox (string MSBM10 10 Z) (rise -2 (string CMMI10 7 >)))))

opr (^m (infix n 3500 (hbox (glyph CMSY10 10 34) (rise -2 (string CMMI10 7 m)))))
term (-u (unary 2850 (glyph CMSY10 10 0)))
#term (floor (const n 3900 (hbox (glyph CMSY10 10 98) (glyph CMSY10 10 99))))
#term (ceil (const n 3900 (hbox (glyph CMSY10 10 100) (glyph CMSY10 10 101))))
term (sqr (const (rise 8 (glyph CMSY10 10 112))))

opr (+ (infix l 2200 (string CMR10 10 +)))
opr (- (infix l 2200 (glyph CMSY10 10 0)))
opr (x. (infix l 2300 (glyph CMSY10 10 1)))
opr (/ (infix l 2300 (string CMR10 10 /)))
opr (^ (infix n 2400 (glyph CMSY10 10 34)))

opr (shift (infix n 2050 (hbox (sp 1) (string CMR10 10 shift) (sp 1))))
opr (seq (infix n 2050 (hbox (sp 1) (string CMR10 10 seq) (sp 1))))
opr (seq0 (infix n 2050 (hbox (sp 1) (string CMR10 10 seq) (rise -2 (string CMR7 7 0)))))
opr (seq1 (infix n 2050 (hbox (sp 1) (string CMR10 10 seq) (rise -2 (string CMR7 7 1)))))

term (i (const (string CMMI10 10 i)))
term (e (const (string CMMI10 10 e)))

opr (... (infix n 2100 (string CMR10 10 ...)))

term (sum_ (qbinder 1100 (rise 8 (glyph CMEX10 8 80)) (glyph CMSY10 10 50)))

term (_|_ (const (glyph CMSY10 10 63)))
term (H~ (const (string Script 10 H)))
term (C_H (const (hbox (string CMMI10 10 C) (rise -2 (string Script7 7 H)))))
term (CH (const (hbox (string Script 10 C) (rise -2 (string Script7 7 H)))))
term (SH (const (hbox (string Script 10 S) (rise -2 (string Script7 7 H)))))

opr (+H (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string Script7 7 H)))))
opr (+v (infix l 2200 (hbox (string CMR10 10 +) (rise -2 (string CMMI10 7 v)))))
opr (-v (infix l 2200 (hbox (glyph CMSY10 10 0) (rise -2 (string CMMI10 7 v)))))(glyph CMSY10 10 95)
br (~~>v (infix n 1050 (hbox (glyph MSAM10 10 32) (rise -2 (string Script7 7 H))))))
opr (.s (infix l 2300 (hbox (glyph CMSY10 10 1) (rise -2 (string CMMI10 7 s)))))
opr (.i (infix l 2300 (hbox (glyph CMSY10 10 1) (rise -2 (string CMMI10 7 i)))))
term (0H (const (hbox (string CMR10 10 0) (rise -2 (string Script7 7 H)))))
term (0v (const (hbox (string CMR10 10 0) (rise -2 (string CMMI10 7 v)))))
opr (vH (infix l 2200 (hbox (glyph CMSY10 10 95) (rise -2 (string Script7 7 H)))))
term (\/H (const (hbox (rise 7 (glyph CMEX10 8 87)) (rise -2 (string Script7 7 H)))))
br (<o (infix n 1050 (glyph MSBM10 10 108)))

term (Lambda (const (glyph CMR10 10 3)))

fval (abs (brack 1000 (glyph CMSY10 10 106) (glyph CMSY10 10 106) 2900))
fval (floor (brack 1000 (glyph CMSY10 10 98) (glyph CMSY10 10 99) 2900))
fval (ceil (brack 1000 (glyph CMSY10 10 100) (glyph CMSY10 10 101) 2900))
fval (! (runary 2900 (string CMR10 10 !)))
fval (* (runary 2900 (string CMR10 10 *)))
fval (exp (lunary 2850 (hbox (string CMR10 10 exp) (sp 2))))
fval (sin (lunary 2850 (hbox (string CMR10 10 sin) (sp 2))))
fval (cos (lunary 2850 (hbox (string CMR10 10 cos) (sp 2))))
fval (Re (lunary 2850 (hbox (string EUFM10 10 R) (sp 2))))
fval (Im (lunary 2850 (hbox (string EUFM10 10 I) (sp 2))))