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}
|