P penrose.cs.cmu.edu Penrose – Create diagrams by typing notation in plain text 459 points kiyanwang 2 years ago 117 comments
