font (ghmi10 font/ghmi10.otf ghmi10) font (ghr10 font/ghr10.otf ghr10) font (CMR10 font/ghr10.otf CMR10) font (CMMI10 font/ghmi10.otf CMMI10) font (CMR7 font/ghr10.otf CMR7) font (Sans n019003l.pfa Sans) var (ph (glyph ghmi10 10 u+03c6)) var (ps (glyph ghmi10 10 u+03c8)) var (ch (glyph ghmi10 10 u+03c7)) var (th (glyph ghmi10 10 u+03b8)) var (ta (glyph ghmi10 10 u+03c4)) var (et (glyph ghmi10 10 u+03b7)) var (ze (glyph ghmi10 10 u+03b6)) term (-> (infix r 250 (glyph ghr10 10 u+2192))) term (-. (unary 1000 (glyph ghr10 10 u+00ac))) term (<-> (infix n 100 (glyph ghr10 10 u+2194))) term (/\ (infix r 400 (glyph ghr10 10 u+2227))) term (\/ (infix r 300 (glyph ghr10 10 u+2228))) term (|- (unary 0 (hbox (glyph CMSY10 10 96) (sp 2)))) term (/\/\ (ternary n 400 (glyph ghr10 10 u+2227) (glyph ghr10 10 u+2227))) term (\/\/ (ternary n 300 (glyph ghr10 10 u+2228) (glyph ghr10 10 u+2228))) term (A. (binder 40 (glyph ghr10 10 u+2200))) term (E. (binder 40 (glyph ghr10 10 u+2203))) term (E! (binder 40 (hbox (glyph ghr10 10 u+2203) (string CMR10 10 !)))) term (E* (binder 40 (hbox (glyph ghr10 10 u+2203) (string CMR10 10 *)))) term (A.e. (qbinder 40 (glyph ghr10 10 u+2200) (glyph ghr10 10 u+2208))) term (E.e. (qbinder 40 (glyph ghr10 10 u+2203) (glyph ghr10 10 u+2208))) 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 ghr10 10 u+2208))) term (e/ (infix n 1050 (glyph ghr10 10 u+2209))) term (C_ (infix n 1050 (glyph ghr10 10 u+2286))) term (C: (infix n 1050 (glyph ghr10 10 u+2282))) term (=/= (infix n 1050 (glyph ghr10 10 u+2260))) term (\ (infix n 3500 (string ghr10 10 \))) term (i^i (infix n 3500 (glyph ghr10 10 u+2229))) term (u. (infix n 3500 (glyph ghr10 10 u+222a))) term (X. (infix n 3500 (glyph ghr10 10 u+00d7))) term (o. (infix n 3500 (glyph ghr10 10 u+25e6))) term (|` (infix n 3500 (glyph ghr10 10 u+21be))) term (" (infix n 3500 (glyph ghr10 10 u+201c))) term (` (infix n 3500 (glyph ghr10 10 u+2018))) term (/. (infix n 3500 (glyph ghr10 10 u+29f8))) #term (U. (unary 3300 (rise 7 (glyph ghr10 8 u+222a)))) #term (|^| (unary 3300 (rise 7 (glyph ghr10 8 u+2229)))) term (U. (unary 3300 (rise -1 (glyph ghr10 13 u+222a)))) term (|^| (unary 3300 (rise -1 (glyph ghr10 13 u+2229)))) term (U_ (qbinder 1100 (rise -1 (glyph ghr10 13 u+222a)) (glyph ghr10 10 u+2208))) 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 ghr10 7 u+2323)))) 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 (string ghr10 10 {) (string ghr10 10 }))) term ({|} (compr 3800 (string ghr10 10 {) (hbox (sp 1) (string ghr10 10 |) (sp 2)) (string ghr10 10 }))) term (<,> (compr 3800 (glyph ghr10 10 u+2329) (hbox (string CMR10 10 ,) (sp 1)) (glyph ghr10 10 u+232a))) 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 (string ghr10 10 {) (glyph ghr10 10 u+2208) (hbox (sp 2) (string ghr10 10 |) (sp 2)) (string ghr10 10 }))) term ({<,>|} (compr3 3800 (hbox (string ghr10 10 {) (glyph ghr10 10 u+2329)) (hbox (string CMR10 10 ,) (sp 1)) (hbox (glyph ghr10 10 u+232a) (sp 2) (string ghr10 10 |) (sp 2)) (string ghr10 10 }))) 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 ghr10 10 [) (string ghr10 10 /) (string ghr10 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 ghr10 10 u+2192))) term (:-1-1-> (ternary n 1100 (string CMR10 10 :) (hbox (glyph ghr10 10 u+2192) (string CMR7 7 1-1)))) term (:-onto-> (ternary n 1100 (string CMR10 10 :) (hbox (glyph ghr10 10 u+2192) (string CMR7 7 onto)))) term (:-1-1-onto-> (ternary n 1100 (string CMR10 10 :) (hbox (glyph ghr10 10 u+2192) (string CMR7 7 1-1-onto)))) term ({/} (const (glyph ghr10 10 u+2205))) 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 ghmi10 10 u+03c9))) term (aleph (const (glyph ghr10 10 u+2135))) 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 (glyph ghr10 10 u+2102))) term (NN (const (glyph ghr10 10 u+2115))) term (NN0 (const (hbox (glyph ghr10 10 u+2115) (rise -2 (string CMR7 7 0))))) term (QQ (const (glyph ghr10 10 u+211a))) term (RR (const (glyph ghr10 10 u+211d))) term (RR* (const (hbox (glyph ghr10 10 u+211d) (string CMR10 10 *)))) term (ZZ (const (glyph ghr10 10 u+2124))) term (+oo (const (hbox (string ghr10 10 +) (glyph ghr10 10 u+221e)))) term (-oo (const (hbox (glyph ghr10 10 u+2212) (glyph ghr10 10 u+221e)))) br (< (infix n 1050 (string ghr10 10 <))) 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 ( (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 ghr10 10 +))) opr (- (infix l 2200 (glyph ghr10 10 u+2212))) opr (x. (infix l 2300 (glyph ghr10 10 u+00b7))) # A case can be made for u+2215 instead of /, but in cm fonts they're the same. opr (/ (infix l 2300 (string ghr10 10 /))) opr (^ (infix n 2400 (string ghr10 10 ^))) 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 (