summaryrefslogtreecommitdiff
path: root/test/phase5/exact-definition-boundary.tex
blob: d0c756c8bab4824cef3cebbf3e7eb5ea3c6b1b41 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
\begin{definition}\label{phase5_annotated_adjective}
    A set $X$ is parity canonical iff $X = X$.
\end{definition}

\begin{definition}\label{phase5_annotated_verb}
    A set $X$ parity contains $Y$ iff $Y \in X$.
\end{definition}

\begin{definition}\label{phase5_symbolic_primary}
    $\phasefivesymbolic{X} = X$.
\end{definition}

\begin{abbreviation}\label{phase5_functional_wrapper}
    The parity symbolic value of $X$ is $\phasefivesymbolic{X}$.
\end{abbreviation}