anal retentive lhs2TeX hacking