Leibniz is a combination word processor and front end for Mathematica designed for use in mathematics education. Leibniz uses a sophisticated pattern matching scheme to implement a simple and elegant interface for performing symbolic calculations. This article will describe the architecture of the Leibniz system and discuss some of the special techniques used in Leibniz to control evaluation.