%include lhs2TeX.sty