A small language for doing math