diff options
Diffstat (limited to 'test/examples/proofdefinefunction.tex')
| -rw-r--r-- | test/examples/proofdefinefunction.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/examples/proofdefinefunction.tex b/test/examples/proofdefinefunction.tex index ac17d0b..0367a0d 100644 --- a/test/examples/proofdefinefunction.tex +++ b/test/examples/proofdefinefunction.tex @@ -1,3 +1,7 @@ +\begin{signature}\label{example_pair} + $(x,y)$ is a set. +\end{signature} + % The builtin "-(-)" notation desugars to "\apply{-}{-}". % This is just a dummy definition. \begin{definition}\label{apply} |