Lambda Pi translator with the notation from the slides.