talk.fmt

   1 %include polycode.fmt
   2
   3 %if style == newcode
   4 %format ANN(x) = "{-# ANN " x "#-}"
   5 %format CXT(x) = "(" x ")"
   6 %format ^^ = " "
   7 %else
   8 %format ANN(x) = "\{-\# ANN\ " x " \#-\}"
   9 %format CXT(x) = "(Some\ context...)"
  10 %format ^^ = "\; "
  11 %format :>:   = "\ensuremath{>}"
  12 %format :<:   = "\ensuremath{<}"
  13 %format :==:  = "\ensuremath{\equiv}"
  14 %format :-:   = "\ensuremath{-}"
  15 %format :+:   = "\ensuremath{+}"
  16 %format :*:   = "\ensuremath{*}"
  17 %format :<=:  = "\ensuremath{\leq}"
  18 %endif