%format . = "."
%format : = "\!:\!"
%% %format ++ = "+\!+"
%format ^^ = "\;\;"
%format ^^^ = "\;\;\;"
%format ^^^^ = "\hspace{1em}"

%format epsilon = "\epsilon"
%format (sub (x) (y)) = "{" x "}_{" y "}"
%format (sup (x) (y)) = "{" x "}^{" y "}"
%format (many (x))    = "\overline{" x "}"
%format (abs (x))  = "|" x "|"
%format (opt (x))     = x "^{" ? "}"

%format c1
%format c2
%format x1
%format x2
%format x3
%format v1
%format v2
%format z1
%format z2
%format z3

%format Gamma = "\Gamma"
%format Sigma = "\Sigma"
%format Phi = "\Phi"
%format :- = "\vdash"
%format emptyset = "\emptyset"
%format sep = "\:;\:"
%format bar = "|"
%format ::: = "\::\:"
%format `union` = "\cup"
%format union = "\cup"
%format `intersection` = "\cap"
%format intersection = "\cap"
%format `subset` = "\subseteq"
%format scope = "\circ"
%format `smaller` = "\sqsubseteq"

%format <<< = "\llbracket"
%format >>> = "\rrbracket"
%format ~> = "\leadsto"
%format (semc (i) (s) (z)) = <<< z >>> "_{" i,s "}"
%format (semt (i) (z)) = <<< z >>> "_{" i "}"
%format (semb (z)) = <<< z >>>
%format (semp (e) (z)) = <<< z >>> "_{"  e "}"
%format (semz (z) (e)) = <<< e >>> "_{" z "}"

%format Gamma0
%format Gamma1
%format Gamma2
%format Gamma3
%format Gamma4

%format jvisit     = "visit"

%% javascript keywords
%format function   = "\mathbf{function}"
%format var        = "\mathbf{var}"
%format for        = "\mathbf{for}"
%format if         = "\mathbf{if}"
%format prototype  = "\mathbf{prototype}"
%format return     = "\mathbf{return}"
%format throw      = "\mathbf{throw}"
%format catch      = "\mathbf{catch}"
%format try        = "\mathbf{try}"
%format ==         = "=="

%% AG keywords
%format attr       = "\mathbf{attr}"
%format data       = "\mathbf{data}"
%format sem        = "\mathbf{sem}"
%format inh        = "\mathbf{inh}"
%format syn        = "\mathbf{syn}"
%format con        = "\mathbf{con}"
%format clause     = "\mathbf{clause}"
%format prod       = "\mathbf{prod}"
%format default    = "\mathbf{default}"
%format itf        = "\mathbf{itf}"
%format visit      = "\mathbf{visit}"
%format internal   = "\mathbf{internal}"
%format match      = "\mathbf{match}"
%format pin        = "\mathbf{pin}"
%format child      = "\mathbf{child}"
%format invoke     = "\mathbf{invoke}"
%format datasem    = "\mathbf{datasem}"
%format grammar    = "\mathbf{grammar}"
%format partial    = "\mathbf{partial}"
%format total      = "\mathbf{total}"
%format terminator = "\Box"
%format self       = "\mathbf{self}"
%format use        = "\mathbf{use}"

%format rulerfront = "{\mbox{\scshape ruler-front}}"
%format rulercore  = "{\mbox{\scshape ruler-core}}"
%format rulerback  = "{\mbox{\scshape ruler-back}}"
%format Java       = "{\mbox{\scshape Java}}"
%format Haskell    = "{\mbox{\scshape Haskell}}"
%format Javascript = "{\mbox{\scshape JavaScript}}"
%format MiniJava   = "{\mbox{\scshape MiniJava}}"
%format JS         = "\mathcal{J}"