lhs2tex