-%if style == newcode
-%format ANN(x) = "{-# ANN " x " #-}"
-%format CXT(x) = "(" x ")"
-%format ` = "''"
-%format ^^ = " "
-%else
-%format ANN(x) = "\{-\#\ \mathit{ANN}\ " x "\ \#-\}"
-%format CXT(x) = "(Some\ context...)"
-%format ` = "''"
-%format ^^ = "\; "
-%format :>: = "\ensuremath{>}"
-%format :<: = "\ensuremath{<}"
-%format :==: = "\ensuremath{\equiv}"
-%format :-: = "\ensuremath{-}"
-%format :+: = "\ensuremath{+}"
-%format :*: = "\ensuremath{*}"
-%format :<=: = "\ensuremath{\leq}"
-%format SPL(x) = "\$" ( x )
-%format QU(x) = "\llbracket " x "\rrbracket "
-%format QUd(x) = "[d|" x "\rrbracket "
-%format QUt(x) = "[t|" x "\rrbracket "
-%format ^^ = "\; "
-%endif
\ No newline at end of file