diff options
Diffstat (limited to 'test/examples/relation-notation.tex')
| -rw-r--r-- | test/examples/relation-notation.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/examples/relation-notation.tex b/test/examples/relation-notation.tex index 7cc94fc..0eff5d0 100644 --- a/test/examples/relation-notation.tex +++ b/test/examples/relation-notation.tex @@ -1,3 +1,7 @@ +\begin{signature}\label{example_pair} + $(x,y)$ is a set. +\end{signature} + \begin{proposition}\label{mathrel_notation_test} If $x\mathrel{R} y$, then $x\mathrel{R} y$. \end{proposition} |