Sets.tex

As part of the proof-of-concept, a LaTeX file named Sets.tex is provided.

---

• Analysis of Sets.tex
  • The package and document declarations

---

Analysis of Sets.tex

The document contains embedded [Principia] phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure [LaTeX]. The usual [LaTeX] boilerplate introduces theorem environments, tools for tables, etcetera. The first [Principia entry] follows the actual document beginning.

The package and document declarations

First we declare the package and document.

〚package principia.sets〛
〚document Sets〛
~~~~~~~~~~~~~~~~

This is equivalently written as

〚
package principia.sets
document Sets
〛
~~~~~~~~~~~~~~~~

As a consequence of these declarations, the file must be called Sets.tex and contained in a subdirectory src/principia/sets.