Penrose – Create diagrams by typing notation in plain textpenrose.cs.cmu.edu459 pointskiyanwang2 years ago