summaryrefslogtreecommitdiff
path: root/test/examples/byRef.tex
diff options
context:
space:
mode:
authoradelon <22380201+adelon@users.noreply.github.com>2024-04-01 22:40:33 +0200
committeradelon <22380201+adelon@users.noreply.github.com>2024-04-01 22:40:33 +0200
commit7a80b75aeaf7fd6e8828b843fa58664f11451833 (patch)
treef0e4df46ebd14b4178c06961e6b9748798eaaf81 /test/examples/byRef.tex
parenteae0db671c00f8203c1a61b7a87a00f4e22363a3 (diff)
Allow numbers in markers (from the second char)
Diffstat (limited to 'test/examples/byRef.tex')
-rw-r--r--test/examples/byRef.tex14
1 files changed, 7 insertions, 7 deletions
diff --git a/test/examples/byRef.tex b/test/examples/byRef.tex
index c896c86..8fd1e71 100644
--- a/test/examples/byRef.tex
+++ b/test/examples/byRef.tex
@@ -1,25 +1,25 @@
-\begin{proposition}\label{first_proposition}
+\begin{proposition}\label{prop1}
$a = a$.
\end{proposition}
-\begin{proposition}\label{second_proposition}
+\begin{proposition}\label{prop2}
$b = b$.
\end{proposition}
-\begin{proposition}\label{third_proposition}
+\begin{proposition}\label{prop3}
$c = c$.
\end{proposition}
\begin{proof}
- Follows by \ref{first_proposition}. % Should filter out second_proposition
+ Follows by \ref{prop1}. % Should filter out second_proposition
\end{proof}
-\begin{proposition}\label{fourth_proposition}
+\begin{proposition}\label{prop4}
$e = e$.
\end{proposition}
\begin{proof}
- For all $d$ we have $d = d$ by \ref{first_proposition}.
+ For all $d$ we have $d = d$ by \ref{prop1}.
\end{proof}
-\begin{proposition}\label{fifth_proposition}
+\begin{proposition}\label{prop5}
$f = f$.
\end{proposition}