https://www.cs.cmu.edu/~kmcrane/Projects/Penrose/Penrose_SIGGRAPH.pdf
Penrose: From Mathematical Notation to Beautiful Diagrams
“We introduce a system called Penrose for creating mathematical diagrams. Its basic functionality is to translate abstract statements written in familiar math-like notation into one or more possible visual representations…. In contrast to tools that specify diagrams via direct manipulation or low-level graphics programming, Penrose enables rapid creation and exploration of diagrams that faithfully preserve the underlying mathematical meaning.”