.. Migration note (2026m04d04): Claude copied this file during VV-to-HELL migration.
   Old path: ``vv/pet/ppv1/symbols.rst`` (as given by LLoL)
   New path: ``hell/mm/b/11/PPv1/symbols.rst`` (as chosen by Claude)
   Category: PET PPv1 snapshot

.. meta::
   :description: Every symbol in the PET axiom system defined: entities, mereological operators, modal operators, and the formal notation conventions linking them.
   :keywords: PET, symbols, dictionary, mereology, modal logic, notation, formal language, entities, operators, PPv1, reference, ax1_A1-ax14_A14
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: PET Symbol Dictionary<br>for Axioms ax1_A1-ax14_A14
   :og:card:description: Quick reference for every entity, mereological relation, modal operator, and notation convention used in the formal PET axiom statements.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Complete symbol dictionary for the PET axiom system ax1_A1-ax14_A14, defining all entities, operators, and notation used in formal statements.
   OO :keywords: matheology, PET, symbols, dictionary, mereology, modal logic, notation, formal language, reference, PPv1
   OO :og:card:title: PET Symbol Dictionary for ax1_A1-ax14_A14
   OO :og:card:description: Reference for all symbols in the PET axiom system: entities, mereological operators, modal operators, and formal notation conventions.
   PP :description: Every symbol in the PET axiom system defined: entities, mereological operators, modal operators, and the formal notation conventions linking them.
   PP :keywords: PET, symbols, dictionary, mereology, modal logic, notation, formal language, entities, operators, PPv1, reference, ax1_A1-ax14_A14
   PP :og:card:title: PET Symbol Dictionary<br>for Axioms ax1_A1-ax14_A14
   PP :og:card:description: Quick reference for every entity, mereological relation, modal operator, and notation convention used in the formal PET axiom statements.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 146 chars | :og:card:title: 38 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

*****************************
PET Symbol Dictionary
*****************************

This page defines all symbols used in the PET axiom system (ax1_A1–ax14_A14).
For the axioms themselves, see :doc:`axioms`.
For derived results, see :doc:`theorems`.


Entities and Variables
========================

.. list-table::
   :widths: 10 20 45 25
   :header-rows: 1

   * - Symbol
     - Name
     - Meaning
     - Technical context
   * - **G**
     - God
     - The distinguished divine entity
     - Distinguished constant
   * - **W**
     - The World
     - Totality of all finite/created entities
     - Distinguished constant
   * - :math:`G_n`
     - Necessary divine aspect
     - The abstract, unchanging divine nature that exists in every possible world
     - Component of dipolar decomposition (ax11_A11)
   * - :math:`G_c`
     - Contingent divine aspect
     - God's concrete experience, which varies depending on which world exists
     - Component of dipolar decomposition (ax11_A11)
   * - :math:`G_c(w_i)`
     - Subworld divine experience
     - God's contingent experience specific to subworld :math:`w_i`
     - Functional structure added in strengthened ax11_A11 (lines 3–4)
   * - :math:`R`
     - God's self-knowledge
     - The set of true propositions about God
     - Defined so that ax12_A12 is tautological by design; substantive work shifts to ax14_A14
   * - :math:`p, q`
     - Propositions
     - Statements that can be true or false
     - Propositional variables
   * - :math:`x, y`
     - Entities
     - Parts of God or the world
     - Individual variables
   * - :math:`w_i`
     - Subworld
     - A part of the world W (i.e., :math:`w_i \leq W`)
     - Used in ax11_A11 to index divine experience


Relations and Predicates
==========================

.. list-table::
   :widths: 10 20 45 25
   :header-rows: 1

   * - Symbol
     - Name
     - Meaning
     - Technical context
   * - :math:`\leq`
     - "is part of"
     - Mereological parthood: reflexive, transitive, antisymmetric
     - Mereology (part-whole logic)
   * - :math:`<`
     - "is proper part of"
     - :math:`x \leq y` and :math:`y \nleq x` (part of, but not identical to)
     - Derived from :math:`\leq`
   * - :math:`P(x, y)`
     - "x is present to y"
     - A relation of immediate awareness or access
     - Primitive relation (axiomatically introduced, not further reduced)
   * - :math:`S(x, y)`
     - "x sustains y"
     - y's continued existence depends on x
     - Primitive relation
   * - :math:`\text{Pos}(\varphi)`
     - "φ is a positive property"
     - A perfection in Gödel's sense
     - From Gödel's ontological framework; listed but unused in ax1_A1–ax14_A14
   * - :math:`\text{claim}(p)`
     - "p is claimed divine"
     - A human claim that proposition p is divinely revealed
     - Introduced in ax14_A14 (Revelation Claims Test)


Logical Operators
====================

.. list-table::
   :widths: 10 20 45 25
   :header-rows: 1

   * - Symbol
     - Name
     - Meaning
     - Technical context
   * - :math:`\Box`
     - Necessarily
     - True in every possible world
     - Modal logic S5
   * - :math:`\Diamond`
     - Possibly
     - True in at least one possible world
     - Modal logic S5
   * - :math:`\forall`
     - For all
     - Every entity satisfies the condition
     - First-order logic (universal quantifier)
   * - :math:`\exists`
     - There exists
     - At least one entity satisfies the condition
     - First-order logic (existential quantifier)
   * - :math:`\exists!`
     - There exists exactly one
     - Exactly one entity satisfies the condition
     - First-order logic (uniqueness quantifier)
   * - :math:`\wedge`
     - And
     - Both conditions hold simultaneously
     - Propositional logic (conjunction)
   * - :math:`\vee`
     - Or
     - At least one condition holds
     - Propositional logic (disjunction)
   * - :math:`\neg`
     - Not
     - The condition does not hold
     - Propositional logic (negation)
   * - :math:`\rightarrow`
     - Implies / If...then
     - If the first condition holds, then the second must hold
     - Propositional logic (material conditional)
   * - :math:`\oplus`
     - Mereological sum
     - The combination of parts into a whole
     - Mereology
   * - :math:`\in`
     - Is a member of
     - The element belongs to the set
     - Set theory
   * - :math:`\neq`
     - Is not equal to
     - The two entities are distinct
     - Standard mathematics


.. note::

   **Modal logic S5** is the system where "possibly necessary" implies
   "necessary." This means the accessibility relation between possible worlds
   is an equivalence relation: every world can "see" every other world.
   S5 is the standard choice for reasoning about metaphysical necessity.


.. admonition:: TELES migration report (2026m04d04)

   Mechanical identifier migration applied to this file.
   All axiom/theorem text references were migrated from short form
   (e.g., A15) to compound form (e.g., ax15_A15) as part of the
   matheology compound naming operation. Both forms refer to the
   same formal object. The old form survives as the suffix to
   ensure consistency with the oldest records; the new form adds
   a temporary-status prefix. Forward-facing pages use brief form
   (ax15) only. See
   :ref:`hell-ll-other-b15-teles-renaming-prompt` for the complete
   mapping table and :ref:`legacy-5d-link-names-table-for-pet-jub-model` for the permanent
   reference.