Varianten: |fun what now|, |Prelude.take 10 x|.
Mit Unterstrich: |mapM_| und |remove_leading_line|.
%format Verbatim = "\mathrm{Verb}"
%format Verbatim.a = "\mathit{a}"
|Verbatim.a + Math.b + Verbatim.b|.
%format empty = "\emptyset "
|Bag.empty| oder |Set.empty|