zlacker

>>Yuqing+(OP)
Simple examples demonstrate the idea of the system, but I would be more impressed if they took some of the more complex published math papers out there and successfully rendered the notation from those with Penrose. That, to me, would better prove that it can handle the complexity that often comes with mathematical concepts.

>>ColanR+lf
You should read the paper! http://penrose.ink/media/Penrose_SIGGRAPH2020.pdf

They include:

* Vector spaces

* Function diagrams

* Geometric illustrations

* Polygonal meshes

* Ray tracing diagrams

The linked article is pretty much fluff, but the SIGGRAPH paper has the real content.

>>wcrich+Pu
Already did! Those are all basic examples of those various concepts. How about something that 'mixes metaphors', so to speak? Mathematicians are a creative bunch.

E.g., fuzzy sets. [1] One of the most-cited math papers ever. How could I use Penrose to represent a continuum of grades of membership between sets?

[1] https://sci-hub.st/10.1016/S0019-9958(65)90241-X