>>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.