The slides now as lhs so lhs2tex cannot make it prettier.