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))))