Penrose：通过在纯文本中键入数学符号来创建图表

Penrose是一个仍在开发中的早期系统。我们的系统还没有准备好供捐款或公众使用，但希望很快就能准备好。如果您对协作感兴趣，请发送电子邮件给我们。

有关构建、运行、测试和调试系统的更多系统特定信息，请参阅wiki。

Tree.subset ASET BSet CSET DSet ESET FSet GSubset B ASubset C A Subset D B Subset E B Subset F CSubset G CNoInterect E DNoInterect F GNoIntersection B C。

venn.sty集合x{Shape=Circle{}约束包含(x，x.label)}相交xy{约束重叠(x，y)约束outside Of(y.label，x)}不相交xy{约束不重叠(x，y)}子集xy{约束包含(y，x)约束较小Than(x，y)约束outside Of(y.Label，x)}NoSubset x{目标排斥(x，x)}不相交xy{约束不重叠(x，y)}子集xy{约束包含(y，x)约束小于(y，x)约束(y.label，x)}NoSubset x{目标排斥(x，y)约束不重叠(x，y)}