summaryrefslogtreecommitdiff
path: root/info/examples/tlc3/example-sources/2-4-16.ltx
diff options
context:
space:
mode:
Diffstat (limited to 'info/examples/tlc3/example-sources/2-4-16.ltx')
-rw-r--r--info/examples/tlc3/example-sources/2-4-16.ltx31
1 files changed, 31 insertions, 0 deletions
diff --git a/info/examples/tlc3/example-sources/2-4-16.ltx b/info/examples/tlc3/example-sources/2-4-16.ltx
new file mode 100644
index 0000000000..6b5e74390a
--- /dev/null
+++ b/info/examples/tlc3/example-sources/2-4-16.ltx
@@ -0,0 +1,31 @@
+%%
+%% The LaTeX Companion, 3ed
+%%
+%% Example 2-4-16 on page I-92 in "Handling theorem-like environments".
+%%
+%% Copyright (C) 2022 Frank Mittelbach
+%%
+%% It may be distributed and/or modified under the conditions
+%% of the LaTeX Project Public License, either version 1.3c
+%% of this license or (at your option) any later version.
+%%
+%% See https://www.latex-project.org/lppl.txt for details.
+%%
+
+\documentclass{tlc3exa}
+\pagestyle{empty}
+\setcounter{page}{6}
+\setlength\textwidth{171.0pt}
+%StartShownPreambleCommands
+\usepackage{cleveref}
+\newtheorem{thm}{Theorem}
+\newtheorem{lem}{Lemma}
+%StopShownPreambleCommands
+
+\begin{document}
+\begin{thm} A theorem. \label{thm:a}\end{thm}
+\begin{lem} A lemma. \label{lem:a}\end{lem}
+\begin{lem} Another one.\label{lem:b}\end{lem}
+\Cref{lem:b} is used to prove \cref{thm:a}. \\
+But \cref{lem:a,lem:b} need formatting help.
+\end{document}