PriTeX file

PriTeX Files and their Structure

A [PriTeX] file is a [LaTeX] file containing an embedded [Principia] [document]. While a Principia document is an abstract entity, a PriTeX file is physical. Two primary attributes of this physicality are the PriTeX file-name and the PriTeX file-location. Both of these attributes a constrained by the Principia [document] name and [package].

---

• PriTeX Files and their Structure
  • File-Name
  • File-Location
  • File Structure
  • Embedding

---

File-Name

The file-name of a PriTeX file is the name of the file, including the file-suffix, but without a location. This file-name is constrained by the following rule.

• A PriTeX file embedding a Principia [document] with name documentName must have file-name

  • documentName.tex

Hence the Principia document naming restrictions further constrain the possible range of PriTeX file-names.

---

File-Location

The file-location of a PriTeX file is that path in the directory forest to that file. The file-location is restricted by the following rule.

• A PriTeX file embedding a Principia document in Principia [package] unit_0.unit_1. ... .unit_n, must reside in a directory of the form ..../src/ unit_0 / unit_1 /.../ unit_n-1 / unit_n, where the precisely location of ..../src is unimportant and / means the operating system directory separator.

---

File Structure

---

Embedding

---