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 (/\/\ (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 (= (infix n 1050 (string CMR10 10 =))) term (+ (infix l 2200 (string ghr10 10 +))) term (* (infix l 2300 (glyph ghr10 10 u+00b7))) term (0 (const (string CMR10 10 0))) term (S (unary 3550 (hbox (string CMR10 10 S) (sp 2))))