diff options
Diffstat (limited to 'test/examples/finite-set-terms.tex')
| -rw-r--r-- | test/examples/finite-set-terms.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/examples/finite-set-terms.tex b/test/examples/finite-set-terms.tex index 76cc4d9..4aa7ba6 100644 --- a/test/examples/finite-set-terms.tex +++ b/test/examples/finite-set-terms.tex @@ -1,3 +1,7 @@ +\begin{signature}\label{example_cons} + $\cons{y}{X}$ is a set. +\end{signature} + \begin{axiom}\label{cons} $x\in \cons{y}{X}$ iff $x = y$ or $x\in X$. \end{axiom} |