convert zygo to lhs2TeX