%include polycode.fmt

%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