Penrose: Create diagrams by typing mathematical notation in plain text

Penrose is an early-stage system that is still in development. Our system is not ready for contributions or public use yet, but hopefully will be soon. Here’s a simple Penrose visualization in the domain of set theory.

Source: github.com