Penrose: Create diagrams by typing mathematical notation in plain textgithub.com/penrose184 pointspolm236 years ago