On: Penrose – Create diagrams by typing notation in pl...

[sestep]

By the way, just for clarity, note that the comments in this subthread were written before we updated the random seed for that example to result in a much better diagram: https://github.com/penrose/penrose/commit/134533830dab25642a...