summaryrefslogtreecommitdiff
path: root/test/examples/signature.tex
blob: 4d794a9be1a540edd9dc804d9cadcaae2e493447 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
\begin{signature}\label{triangle}
    $x$ can be a number.
\end{signature}

\begin{signature}\label{even}
    $x$ can be even.
\end{signature}

\begin{signature}\label{div}
    $x$ can divide $y$.
\end{signature}

\begin{signature}\label{square}
    The square of $x$ is a number.
\end{signature}

\begin{signature}\label{nless}
    $x \nless y$ is a proposition.
\end{signature}