Added lhs2Tex