diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-04-01 22:40:33 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-04-01 22:40:33 +0200 |
| commit | 7a80b75aeaf7fd6e8828b843fa58664f11451833 (patch) | |
| tree | f0e4df46ebd14b4178c06961e6b9748798eaaf81 /test/examples/byRef.tex | |
| parent | eae0db671c00f8203c1a61b7a87a00f4e22363a3 (diff) | |
Allow numbers in markers (from the second char)
Diffstat (limited to 'test/examples/byRef.tex')
| -rw-r--r-- | test/examples/byRef.tex | 14 |
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} |
