%format (many (x)) = "\overline{" x "}"
%format (opt (x)) = "{" x "}^{" ? "}"
%format (sub (x) (y)) = "{" x "}_{" y "}"
%format (sup (x) (y)) = "{" x "}^{" y "}"
%format (subsup (x) (y) (z)) = "{" x "}_{" y "}^{" z "}"
%format (abs (x)) = "|" x "|"
%format `subset` = "\subseteq"
%format `notelem` = "\not\in"
%format `comp` = "\circ"
%format . = "."
%format ^^ = "\;"
%format ^^^ = "\hspace{1em}"
%format :- = "\vdash{}"
%format ~> = "\leadsto{}"
%format ~>* = "\leadsto^{*}"
%format (annotTurnstyle (p)) = "\vdash_{" p "}"
%format epsilon = "\epsilon"
%format emptyset = "\emptyset"
%format (inferrule (p) (c)) = "\frac{" p "}{" c "}"
%format alpha = "\alpha"
%format beta = "\beta"
%format delta = "\delta"
%format forall = "\forall\!\!"
%format exists = "\exists\!\!"
%format <|> = "\varobar"
%format <#> = "\varobar"
%format <+> = "\varoplus"
%format ~ = "\sim"
%format ~~ = "\approx"
%format ~~~ = "\rule{1em}{0.4pt}"
%format +:+ = "\;;\;"
%format `notelem` = "\not\in"
%format <<< = "\llbracket\;"
%format >>> = "\;\rrbracket"
%format (semb1 (x) (y)) = "{\llbracket\;" x "\;\rrbracket}_{" y "}"
%format (semb0 (x)) = "{\llbracket\;" x "\;\rrbracket}"
%format (brackb (x)) = "\!\langle " x "\rangle\!"
%format /\ = "\Lambda"
%format achild = "\Varid{child}"
%format arule = "\Varid{rule}"
%format attr = "\mathbf{attr}"
%format sem  = "\mathbf{sem}"
%format prod = "\mathbf{prod}"
%format inh = "\mathbf{inh}"
%format syn = "\mathbf{syn}"
%format chn = "\mathbf{chn}"
%format itf = "\mathbf{itf}"
%format itfs = "\mathbf{itfs}"
%format thr = "\mathbf{thr}"
%format grammar = "\mathbf{grammar}"
%format term = "\mathbf{term}"
%format nonterm = "\mathbf{nonterm}"
%format phase = "\mathbf{phase}"
%format visit = "\mathbf{visit}"
%format sem = "\mathbf{sem}"
%format child = "\mathbf{child}"
%format order = "\mathbf{order}"
%format attr = "\mathbf{attr}"
%format rule = "\mathbf{rule}"
%% %format begin = "\mathbf{begin}"   %% begin and end are used as identifier
%% %format end = "\mathbf{end}"       %% begin and end are used as identifier
%format con = "\mathbf{con}"
%format prod = "\mathbf{prod}"
%format attach = "\mathbf{attach}"
%format detach = "\mathbf{detach}"
%format invoke = "\mathbf{invoke}"
%format visit = "\mathbf{visit}"
%format set = "\mathbf{set}"
%format ainh = "\Varid{inh}"
%format asyn = "\Varid{syn}"
%format aloc = "\Varid{loc}"
%format inst = "\mathbf{inst}"
%format use = "\mathbf{use}"
%format as = "\mathbf{as}"
%format strategy = "\mathbf{strategy}"
%format implicit = "\mathbf{implicit}"
%format explicit = "\mathbf{explicit}"
%format parent   = "\mathbf{parent}"
%format iterate = "\mathbf{iterate}"
%format oneshot = "\mathbf{oneshot}"
%format partition = "\mathbf{partition}"
%format internal = "\mathbf{internal}"
%format clause = "\mathbf{clause}"
%format match = "\mathbf{match}"
%format fixed = "\mathbf{fixed}"
%format self  = "\mathbf{self}"
%format <% = "\langle{}"
%format %> = "\rangle{}"
%format child = "\mathbf{child}"
%format proc = "\mathbf{proc}"
%format -< = "\prec{}"
%format &&& = "{\&\!\&\!\&}"
%format `notprec` = "\not\prec"
%format prec = "\prec"
%format `prec` = "\prec"
%format `comm` = "\diamond"
%format `subseq` = "\sqsubseteq"
%format `Either` = "\uplus"
%format with = "\mathbf{with}"
%format falsum = "\mathbf{falsum}"
%format rho    = "\rho"
%format context = "\mathbf{context}"
%format terminator = "\epsilon"
%format upon = "\mathbf{upon}"
%format `union` = "\cup"
%format lookahead = "\mathbf{lookahead}"
%format onlylocal = "\mathbf{onlylocal}"
%format partial   = "\mathbf{partial}"
%format total     = "\mathbf{total}"
%format select = "\mathbf{select}"
%format $$ = $
%format emptyset = "\emptyset"
%format `times` = "\times"
%format (mathcal (x)) = "\mathcal{" x "}"
%format (mathbf (x)) = "\mathbf{" x "}"
%format Omega = "\Omega"

%format tp1
%format tp2
%format j1
%format j2
%format j3
%format r1
%format r2
%format r3
%format o1
%format o2
%format o3
%format a1
%format a2
%format a3
%format b1
%format b2
%format b3
%format c1
%format c2
%format c3
%format e0
%format e1
%format e2
%format e3
%format x0
%format x1
%format x2
%format x3
%format t1
%format t2
%format t3
%format t4
%format s1
%format s2
%format s3
%format s4
%format s5
%format v0
%format v1
%format v2
%format v4
%format v5
%format v3
%format v6
%format v7
%format v8
%format v9
%format y1
%format y2
%format y0
%format z0
%format z1
%format z2
%format h1
%format h2
%format h3
%format m1
%format m2
%format m3
%format m4
%format m5
%format u1
%format u2
%format u3
%format u4
%format u5
%format u6
%format u7
%format u8
%format u9
%format q0
%format q1
%format q2
%format q3
%format r1
%format r2
%format r3
%format r4
%format r5
%format rho = "\rho"
%format omega = "\omega"
%format tau = "\tau{}"
%format tau1
%format tau2
%format tau3
%format tau4
%format sigma = "\sigma{}"
%format sigma1
%format sigma2
%format sigma3
%format sigma4
%format theta = "\theta{}"
%format theta1
%format theta2
%format theta3
%format Gamma = "\Gamma{}"
%format Gamma1
%format Gamma2
%format Gamma3
%format gamma = "\gamma"
%format gam  = "\Gamma"
%format phi = "\phi"

%format relation = "\mathbf{relation}"
%format view     = "\mathbf{view}"
%format holes    = "\mathbf{holes}"
%format judgespec = "\mathbf{judgespec}"
%format node     = "\mathbf{node}"
%format ruleset  = "\mathbf{ruleset}"
%format judgeuse = "\mathbf{judgeuse}"
%format rule     = "\mathbf{rule}"
%format judge    = "\mathbf{judge}"
%format tex      = "\mathbf{tex}"
%format ag       = "\mathbf{ag}"
%format hs       = "\mathbf{hs}"
%format rewrite  = "\mathbf{rewrite}"
%format format   = "\mathbf{format}"
%format external = "\mathbf{external}"
%format retain   = "\mathbf{retain}"

%format plans    = "\mathbf{plans}"
%format plan     = "\mathbf{plan}"

%format `cdot` = "\cdot{}"