1 files changed, 11 insertions, 0 deletions
diff --git a/test/examples/replace.tex b/test/examples/replace.tex
index 66fae16..8737af3 100644
--- a/test/examples/replace.tex
+++ b/test/examples/replace.tex
@@ -1,3 +1,11 @@
+\begin{signature}\label{example_cons}
+    $\cons{y}{X}$ is a set.
+\end{signature}
+
+\begin{signature}\label{example_pair}
+    $(x,y)$ is a set.
+\end{signature}
+
 \begin{axiom}\label{cons}
     $x\in \cons{y}{X}$ iff $x = y$ or $x\in X$.
 \end{axiom}
@@ -25,3 +33,6 @@
 \begin{proposition}\label{times_replacement_test}
     $A\times B = \{ (a,b) \mid a\in A, b\in B\}$.
 \end{proposition}
+\begin{proof}
+    Follows by \cref{times}.
+\end{proof}