wip/lhs2tex
