4 %format ANN(x) = "{-# ANN " x "#-}"
5 %format CXT(x) = "(" x ")"
8 %format ANN(x) = "\{-\# ANN\ " x " \#-\}"
9 %format CXT(x) = "(Some\ context...)"
11 %format :>: = "\ensuremath{>}"
12 %format :<: = "\ensuremath{<}"
13 %format :==: = "\ensuremath{\equiv}"
14 %format :-: = "\ensuremath{-}"
15 %format :+: = "\ensuremath{+}"
16 %format :*: = "\ensuremath{*}"
17 %format :<=: = "\ensuremath{\leq}"