PENROSE: From Mathematical Notation to Beautiful DiagramsACM TRANSACTIONS ON GRAPHICSIF9.52020-08-1226OAAI