4 %format ANN(x) = "{-# ANN " x " #-}"
5 %format CXT(x) = "(" x ")"
9 %format ANN(x) = "\{-\#\ \mathit{ANN}\ " x "\ \#-\}"
10 %format CXT(x) = "(Some\ context...)"
13 %format :>: = "\ensuremath{>}"
14 %format :<: = "\ensuremath{<}"
15 %format :==: = "\ensuremath{\equiv}"
16 %format :-: = "\ensuremath{-}"
17 %format :+: = "\ensuremath{+}"
18 %format :*: = "\ensuremath{*}"
19 %format :<=: = "\ensuremath{\leq}"
20 %format SPL(x) = "\$" ( x )
21 %format QU(x) = "\llbracket " x "\rrbracket "
22 %format QUd(x) = "[d|" x "\rrbracket "
23 %format QUt(x) = "[t|" x "\rrbracket "