File indexing completed on 2024-11-24 04:34:43
0001 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 0002 <html> 0003 <!-- This document is an unofficial reference manual for LaTeX, a 0004 document preparation system, version of November 2018. 0005 0006 This manual was originally translated from LATEX.HLP v1.0a in the 0007 VMS Help Library. The pre-translation version was written by 0008 George D. Greenwade of Sam Houston State University. The 0009 LaTeX 2.09 version was written by Stephen Gilmore. The 0010 LaTeX2e version was adapted from this by Torsten Martinsen. Karl 0011 Berry made further updates and additions, and gratefully acknowledges 0012 using Hypertext Help with LaTeX, by Sheldon Green, and 0013 LaTeX Command Summary (for LaTeX 2.09) by 0014 L. Botway and C. Biemesderfer (published by the TeX Users 0015 Group as TeXniques number 10), as reference material. We also 0016 gratefully acknowledge additional material appearing in 0017 latex2e-reference by Martin Herbert Dietze. (From these references no 0018 text was directly copied.) 0019 0020 Copyright 2007, 2008, 2009, 2010, 2011, 2012, 2013, 0021 2014, 2015, 2016, 2017, 2018 Karl Berry. 0022 0023 Copyright 1988, 1994, 2007 Stephen Gilmore. 0024 0025 Copyright 1994, 1995, 1996 Torsten Martinsen. 0026 0027 Permission is granted to make and distribute verbatim copies of 0028 this manual provided the copyright notice and this permission notice 0029 are preserved on all copies. 0030 0031 0032 Permission is granted to copy and distribute modified versions of this 0033 manual under the conditions for verbatim copying, provided that the entire 0034 resulting derived work is distributed under the terms of a permission 0035 notice identical to this one. 0036 0037 Permission is granted to copy and distribute translations of this manual 0038 into another language, under the above conditions for modified versions. --> 0039 <!-- Created by GNU Texinfo 6.5, http://www.gnu.org/software/texinfo/ --> 0040 <head> 0041 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> 0042 <title>\newtheorem (LaTeX2e unofficial reference manual (November 2018))</title> 0043 0044 <meta name="description" content="\newtheorem (LaTeX2e unofficial reference manual (November 2018))"> 0045 <meta name="keywords" content="\newtheorem (LaTeX2e unofficial reference manual (November 2018))"> 0046 <meta name="resource-type" content="document"> 0047 <meta name="distribution" content="global"> 0048 <meta name="Generator" content="makeinfo"> 0049 <link href="index.html#Top" rel="start" title="Top"> 0050 <link href="IndexDocument.html#Index" rel="index" title="Index"> 0051 <link href="index.html#SEC_Contents" rel="contents" title="Table of Contents"> 0052 <link href="Definitions.html#Definitions" rel="up" title="Definitions"> 0053 <link href="_005cnewfont.html#g_t_005cnewfont" rel="next" title="\newfont"> 0054 <link href="_005cnewenvironment-_0026-_005crenewenvironment.html#g_t_005cnewenvironment-_0026-_005crenewenvironment" rel="prev" title="\newenvironment & \renewenvironment"> 0055 <style type="text/css"> 0056 <!-- 0057 /* $Id: latex2e.css 690 2018-09-15 15:20:19Z jimhefferon $ 0058 Minor css for latexrefman. Public domain. 0059 Originally written by Jim Hefferon and Karl Berry, 2018. */ 0060 0061 /* So you can style for yourself */ 0062 @import url("/css/latexreflocal.css"); 0063 0064 0065 0066 a.summary-letter {text-decoration: none} 0067 blockquote.indentedblock {margin-right: 0em} 0068 blockquote.smallindentedblock {margin-right: 0em; font-size: smaller} 0069 blockquote.smallquotation {font-size: smaller} 0070 div.display {margin-left: 3.2em} 0071 div.example {margin-left: 3.2em} 0072 div.lisp {margin-left: 3.2em} 0073 div.smalldisplay {margin-left: 3.2em} 0074 div.smallexample {margin-left: 3.2em} 0075 div.smalllisp {margin-left: 3.2em} 0076 kbd {font-style: oblique} 0077 pre.display {font-family: inherit} 0078 pre.format {font-family: inherit} 0079 pre.menu-comment {font-family: serif} 0080 pre.menu-preformatted {font-family: serif} 0081 pre.smalldisplay {font-family: inherit; font-size: smaller} 0082 pre.smallexample {font-size: smaller} 0083 pre.smallformat {font-family: inherit; font-size: smaller} 0084 pre.smalllisp {font-size: smaller} 0085 span.nolinebreak {white-space: nowrap} 0086 span.roman {font-family: initial; font-weight: normal} 0087 span.sansserif {font-family: sans-serif; font-weight: normal} 0088 ul.no-bullet {list-style: none} 0089 BODY { 0090 margin-top: 1em; 0091 margin-left: 1em; /* auto results in two-digit <ol> lost off left */ 0092 margin-right: 1em; 0093 margin-bottom: 1em; 0094 /* the idea is to use the whole window, unless it is ridiculously 0095 wide, probably with too-small fonts, too. */ 0096 max-width: 64em; 0097 } 0098 0099 /* Because we want @math{... @code ...} to be upright, not slanted, 0100 and Texinfo won't fix it. */ 0101 code {font-style:normal; font-family:monospace; } 0102 0103 /* We put a link to our own home page at the bottom. */ 0104 div.referenceinfo {font-size:small;} 0105 0106 --> 0107 </style> 0108 0109 0110 </head> 0111 0112 <body lang="en"> 0113 <a name="g_t_005cnewtheorem"></a> 0114 <div class="header"> 0115 <p> 0116 Next: <a href="_005cnewfont.html#g_t_005cnewfont" accesskey="n" rel="next">\newfont</a>, Previous: <a href="_005cnewenvironment-_0026-_005crenewenvironment.html#g_t_005cnewenvironment-_0026-_005crenewenvironment" accesskey="p" rel="prev">\newenvironment & \renewenvironment</a>, Up: <a href="Definitions.html#Definitions" accesskey="u" rel="up">Definitions</a> [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="IndexDocument.html#Index" title="Index" rel="index">Index</a>]</p> 0117 </div> 0118 <hr> 0119 <a name="g_t_005cnewtheorem-1"></a> 0120 <h3 class="section">12.9 <code>\newtheorem</code></h3> 0121 0122 <a name="index-_005cnewtheorem"></a> 0123 <a name="index-theorems_002c-defining"></a> 0124 <a name="index-defining-new-theorems"></a> 0125 0126 <a name="index-theorem_002dlike-environment"></a> 0127 <a name="index-environment_002c-theorem_002dlike"></a> 0128 <p>Synopses: 0129 </p> 0130 <div class="example"> 0131 <pre class="example">\newtheorem{<var>name</var>}{<var>title</var>} 0132 \newtheorem{<var>name</var>}{<var>title</var>}[<var>numbered_within</var>] 0133 \newtheorem{<var>name</var>}[<var>numbered_like</var>]{<var>title</var>} 0134 </pre></div> 0135 0136 <p>Define a new theorem-like environment. You can specify one of 0137 <var>numbered_within</var> and <var>numbered_like</var>, or neither, but not both. 0138 </p> 0139 <p>The first form, <code>\newtheorem{<var>name</var>}{<var>title</var>}</code>, creates 0140 an environment that will be labelled with <var>title</var>; see the first 0141 example below. 0142 </p> 0143 <p>The second form, 0144 <code>\newtheorem{<var>name</var>}{<var>title</var>}[<var>numbered_within</var>]</code>, 0145 creates an environment whose counter is subordinate to the existing 0146 counter <var>numbered_within</var>, so this counter will be reset when 0147 <var>numbered_within</var> is reset. See the second example below. 0148 </p> 0149 <p>The third form 0150 <code>\newtheorem{<var>name</var>}[<var>numbered_like</var>]{<var>title</var>}</code>, 0151 with optional argument between the two required arguments, creates an 0152 environment whose counter will share the previously defined counter 0153 <var>numbered_like</var>. See the third example. 0154 </p> 0155 <p>This command creates a counter named <var>name</var>. In addition, unless 0156 the optional argument <var>numbered_like</var> is used, inside of the 0157 theorem-like environment the current <code>\ref</code> value will be that of 0158 <code>\the<var>numbered_within</var></code> (see <a href="_005cref.html#g_t_005cref">\ref</a>). 0159 </p> 0160 <p>This declaration is global. It is fragile (see <a href="_005cprotect.html#g_t_005cprotect">\protect</a>). 0161 </p> 0162 <p>Arguments: 0163 </p> 0164 <dl compact="compact"> 0165 <dt><var>name</var></dt> 0166 <dd><p>The name of the environment. It is a string of letters. It must not 0167 begin with a backslash, <code>\</code>. It must not be the name of an 0168 existing environment, and the command name <code>\<var>name</var></code> must not 0169 already be defined. 0170 </p> 0171 </dd> 0172 <dt><var>title</var></dt> 0173 <dd><p>The text to be printed at the beginning of the environment, before the 0174 number. For example, ‘<samp>Theorem</samp>’. 0175 </p> 0176 </dd> 0177 <dt><var>numbered_within</var></dt> 0178 <dd><p>Optional; the name of an already defined counter, usually a sectional 0179 unit such as <code>chapter</code> or <code>section</code>. When the 0180 <var>numbered_within</var> counter is reset then the <var>name</var> environment’s 0181 counter will also be reset. 0182 </p> 0183 <p>If this optional argument is not used then the command 0184 <code>\the<var>name</var></code> is set to <code>\arabic{<var>name</var>}</code>. 0185 </p> 0186 </dd> 0187 <dt><var>numbered_like</var></dt> 0188 <dd><p>Optional; the name of an already defined theorem-like environment. The 0189 new environment will be numbered in sequence with <var>numbered_like</var>. 0190 </p> 0191 </dd> 0192 </dl> 0193 0194 <p>Without any optional arguments the environments are numbered 0195 sequentially. The example below has a declaration in the preamble that 0196 results in ‘<samp>Definition 1</samp>’ and ‘<samp>Definition 2</samp>’ in the 0197 output. 0198 </p> 0199 <div class="example"> 0200 <pre class="example">\newtheorem{defn}{Definition} 0201 \begin{document} 0202 \section{...} 0203 \begin{defn} 0204 First def 0205 \end{defn} 0206 0207 \section{...} 0208 \begin{defn} 0209 Second def 0210 \end{defn} 0211 </pre></div> 0212 0213 <p>This example has the same document body as the prior one. But here 0214 <code>\newtheorem</code>’s optional argument <var>numbered_within</var> is given as 0215 <code>section</code>, so the output is like ‘<samp>Definition 1.1</samp>’ and 0216 ‘<samp>Definition 2.1</samp>’. 0217 </p> 0218 <div class="example"> 0219 <pre class="example">\newtheorem{defn}{Definition}[section] 0220 \begin{document} 0221 \section{...} 0222 \begin{defn} 0223 First def 0224 \end{defn} 0225 0226 \section{...} 0227 \begin{defn} 0228 Second def 0229 \end{defn} 0230 </pre></div> 0231 0232 <p>In the next example there are two declarations in the preamble, the 0233 second of which calls for the new <code>thm</code> environment to use the same 0234 counter as <code>defn</code>. It gives ‘<samp>Definition 1.1</samp>’, followed 0235 by ‘<samp>Theorem 2.1</samp>’ and ‘<samp>Definition 2.2</samp>’. 0236 </p> 0237 <div class="example"> 0238 <pre class="example">\newtheorem{defn}{Definition}[section] 0239 \newtheorem{thm}[defn]{Theorem} 0240 \begin{document} 0241 \section{...} 0242 \begin{defn} 0243 First def 0244 \end{defn} 0245 0246 \section{...} 0247 \begin{thm} 0248 First thm 0249 \end{thm} 0250 0251 \begin{defn} 0252 Second def 0253 \end{defn} 0254 </pre></div> 0255 0256 0257 0258 0259 <hr/><div class='referenceinfo'> <a href='https://latexref.xyz/'> <i>Unofficial LaTeX2e reference manual</i></a></div> 0260 </body> 0261 </html>