%include lhs2TeX.fmt