Skip to content

The set theory domain

Jump to bottom
Max Krieger edited this page Apr 23, 2019 · 2 revisions

Here we demonstrate the full capabilities of the set theory domain of Penrose. for that, we implemented the following generic files:

  • setTheory.dsl
  • set-theory-venn.sty
  • set-theory-tree.sty

1. Simple Set

Found a problem or got a suggestion? Please open a GitHub issue and tag it with documentation!

Home

For the domain implementer

Further reading

Internal-only docs

Clone this wiki locally