.. meta::
   :description: Integrated symbol dictionary for all of mathematical theology: Pet notation for ax1--ax14 and Jub notation for ax15--ax25, compiled from canonical sources.
   :keywords: symbols, notation, Pet, Jub, formal logic, mereology, modal logic, G, W, Gn, Gc, H, D_free, D_inno, causal influence, mathematical theology
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Symbol Dictionaries<br>for All Axioms
   :og:card:description: Every formal symbol across Pet (ax1--ax14) and Jub (ax15--ax25) in one reference: entities, operators, predicates, and domain definitions.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: All formal symbols used in mathematical theology — PET notation for ax1-ax14 and JUB notation for ax15-ax25.
   OO :keywords: symbols, notation, mathematical theology, PET, JUB, formal logic, mereology
   OO :og:card:title: Symbol Dictionaries for<br>Mathematical Theology
   OO :og:card:description: Complete listing of all formal symbols — PET notation for axioms ax1-ax14 and JUB notation for ax15-ax25, th5-th11.
   PP :description: Integrated symbol dictionary for all of mathematical theology: Pet notation for ax1--ax14 and Jub notation for ax15--ax25, compiled from canonical sources.
   PP :keywords: symbols, notation, Pet, Jub, formal logic, mereology, modal logic, G, W, Gn, Gc, H, D_free, D_inno, causal influence, mathematical theology
   PP :og:card:title: Symbol Dictionaries<br>for All Axioms
   PP :og:card:description: Every formal symbol across Pet (ax1--ax14) and Jub (ax15--ax25) in one reference: entities, operators, predicates, and domain definitions.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 149 chars | :og:card:title: 36 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

**********************************************************
All Symbol Dictionaries for Mathematical Theology
**********************************************************

This page provides the complete integrated listing of all formal symbols
used in the matheology axiom system, drawn from their canonical sources.

- **PET symbols**: :doc:`/matheology/pet/symbols` — used in ax1–ax14, th1–th4
- **JUB symbols**: :doc:`/matheology/jub/symbols` — introduced in ax15–ax25,
  th5–th11


.. contents:: On this page
   :depth: 2
   :local:


----


PET Symbols
=============

.. include:: /matheology/pet/symbols.rst
   :start-after: PET-SYMBOLS-CONTENT-START
   :end-before: PET-SYMBOLS-CONTENT-END


----


JUB Symbols
=============

.. include:: /matheology/jub/symbols.rst
   :start-after: JUB-SYMBOLS-CONTENT-START
   :end-before: JUB-SYMBOLS-CONTENT-END