File: 2-4-18.ltx

package info (click to toggle)
texlive-lang 2022.20230122-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,447,264 kB
  • sloc: perl: 61,377; xml: 53,781; makefile: 4,525; sh: 4,338; ansic: 2,892; python: 2,861; ruby: 1,031; lisp: 750; awk: 649; java: 159; sed: 142; csh: 25
file content (45 lines) | stat: -rw-r--r-- 1,325 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
%%
%% The LaTeX Companion, 3ed
%%
%% Example 2-4-18 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}


  \setlength\parindent{0pt}

  % loading and definitions here to save space in the book
  \usepackage{amsthm,cleveref}
  \crefname{thm}{theorem}{theorems}
  \crefname{lem}{lemma}{lemmas}
  \newtheorem{thm}{Theorem}  \newtheorem{lem}[thm]{Lemma}

  \AtEndDocument{%     we place the envs at the document end so that
                 %     they do not show up in the book and take up unnecessary space
    \newpage
    \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}
  }

%StartShownPreambleCommands
\usepackage{amsthm,cleveref}
% Otherwise same setup as in previous example ... 
%StopShownPreambleCommands

\begin{document}
\Cref{lem:b} is used to prove \cref{thm:a}.  \\
Now \cref{lem:a,lem:b} are typeset correctly.
\end{document}