LaTeX support for Lambda Calculus
