failed attempt at lhs2TeX, will keep at pygment