Penrose

集成 Penrose 的领域特定语言，从自然语言输入生成数学图示。