{theorems} are environments which are commonly numbered. They are extensively used in math texts. Examples of such environments are theorems, corollaries, lemmas, propositions, remarks and definitions. Popular packages are {amsthm}, {ntheorem}, and {thmtools}. Covers discussion on proofs too.

learn more… | top users | synonyms

67
votes
3answers
7k views

Theorem packages: which to use, which conflict?

As far as I know, one can create theorem environments using any of amsthm, ntheorem, thmtools and probably more. How should I define my theorem environments? Is one package clearly superior? Which ...
50
votes
8answers
11k views

How do I repeat a theorem number?

Often in my papers I want to mention theorems in the introduction that are introduced in more detail and proved in a later section. I'd like to include the statement of these theorems twice over, ...
26
votes
3answers
21k views

Non italic text in theorems, definitions, examples

What package should I use, or what setting can I make to the font in theorems so that the text wouldn't be italic. I use amsmath, and from default, everything I write in theorem environments becomes ...
37
votes
2answers
4k views

Recalling a theorem

Suppose I have some theorem in the paper Section 1 Theorem 1.1. Let ... And then later in the paper I want to recall the theorem by reprinting it Section 4 We recall Theorem 1.1: ...
9
votes
3answers
5k views

Resetting theorem counters: \section and (missing) \subsection

Suppose I define a new theorem "Theorem" and declare that its counter should be reset whenever the subsection counter is incremented or reset: \newtheorem{theorem}{Theorem}[subsection] At some ...
13
votes
3answers
953 views

Numbering theorem-like environments

I would like all my theorem-like environments (theorem, example, etc.) to be numbered but such that the number appears before the environment's name, more or less like this: 1. Theorem 2. Example ...
31
votes
1answer
3k views

How to place all proofs automatically in appendix?

Can I place all proofs to theorems in appendix automatically? Usually proofs are written in the LaTeX codes immediately after the theorems. Without physically moving proofs to appendix, how can I ...
7
votes
2answers
1k views

How to suppress vertical space between theorem heads and enumitem environments?

How can I suppress vertical space between a theorem head and an enumitem environment? I would like the output to look like version 3 below, but I hope there is an automatical solution without ~ and ...
12
votes
1answer
1k views

How do I get sub-numbering for theorems (Theorem 1.A., Theorem 1.B., Theorem 2.)?

I am trying to number my theorems as follows: Theorem 1.A. First part of a theorem. Theorem 1.B. Second part of the theorem. Theorem 2. A theorem with no parts. The following almost works: ...
12
votes
3answers
3k views

How to get correct autoref for theorems

I have some own theorem environments. And my theorems are numbered like the chapter. Now I would like to use autoref with that. But it does not work like it is described here ...
7
votes
1answer
1k views

Shaded theorems (thmtools) spanning pages

When the thmtools package is used to create theorem environments with a shaded background, it does not allow separate theorems to span more than one page. This is a rather severe problem if the ...
3
votes
1answer
3k views

Shortcuts for Lemma, Claim, Theorem etc

I'm using Lyx 2.0.2 I would like to define keyboard shortcuts for creating mathematical sections such as Theorem, Lemma etc. I'm pretty sure those do not exist ...
5
votes
3answers
881 views

Two math sections of the same type in a row?

Whenever I try to create two sections of the same type in a row LyX unites them as if they were one. I write a definition, press ENTER for a new line, and then want to write another definition on that ...
16
votes
3answers
4k views

Enumerate alignment problem in theorem environment

I'm using amsart. When I create an enumeration inside a theorem environment, the numbering is not aligned properly: Theorem 14. (1) (2) (3) (4) How do I shift the (2),(3),... to be aligned with ...
19
votes
6answers
11k views

Customizing theorem name

Suppose I have a series of theorems that I would like displayed as Jim's Theorem. Bob's Theorem. Will's Theorem. rather than as “Theorem (Jim).”, “Theorem (Bob).”, and “Theorem ...
11
votes
6answers
19k views

\qed for theorems without proofs

It is common to place a \qed-Box at the end of a theorem statement (or lemma, corollary, ...) if we give no proof for that statement. How can I do this in LaTeX? If I place a qed-box at the end of ...
13
votes
3answers
4k views

How to Make Theorems and Equations Share Numbering

How do I make theorems and equations share numbering? The default numbering system goes like this: Theorem 1. Blah blah blah... 1=0+1 (1) Theorem 2. More blahs... Theorem 3. No more ...
12
votes
2answers
6k views

End of theorem marker placement

I have a question about marker placement after theorems. I am using a style file provided by Oxford University Press, which I am not used to. It is available here: ...
9
votes
1answer
1k views

Theorem Name/Numbering in Margin

I have seen the previous discussion on this same issue before (see Theorem name and number in margin, note in text), however this did not resolve anything as clearly as I had hoped. Basically, I ...
6
votes
4answers
5k views

Custom list of hypotheses in table of contents format

The Context: I am writing a multi-chapter scientific report with many numbered hypotheses. I have created a custom hypothesis environment in the preamble: \newtheorem{hypothesis}{Hypothesis}[chapter] ...
16
votes
2answers
10k views

How to rename theorem (or lemma) in Beamer to another language?

I'm Malay user. I want to rename the theorem tag in Beamer. Does anyone know how to do it? When the document class is article or book, I can simply modify the preamble as follows: ...
15
votes
3answers
11k views

How to change the way theorems are displayed?

I am in the process of writing a large document containing some theorems, lemma, and propositions. Currently, I am using packages amsmath and amsthm. I defined my own environment for theorems by ...
28
votes
1answer
5k views

Problem with qedhere

In a paper I'm writing, I end a proof with a displayed equation that has some cases in it. The relevant code looks something like the following: \[f(x) = \begin{cases} 2x & \text{if $x<0$}\ ...
22
votes
4answers
5k views

How to make the optional title of a theorem bold with amsthm?

I use the code mentioned in Title of the theorem: \begin{theorem}[The title] Some statement \end{theorem} However with amsthm the optional title -- above: "The title" -- is neither bold nor italic, ...
19
votes
6answers
3k views

Is it possible to skip the first line in a theorem environment?

I'm currently writing up some solutions, and I like to rewrite the problem before answering it. I've set exercise to be a theorem environment, and the code I'm using is \begin{exercise} ...
14
votes
4answers
12k views

box around theorem statement

Is there an easy way to put a box around a theorem in LaTeX? For example to state an important theorem. I tried using page 20 of the ntheorem documentation ...
14
votes
1answer
2k views

How to cross-reference theorems with “Theorem”?

I use \begin{lemma} \label{aaa} ... \end{lemma} \begin{theorem} \label{bbb} ... \end{theorem} and many other similar kinds in the same document. When I cross-reference those lemmas and theorems ...
8
votes
1answer
978 views

Theorem decorations that stay with theorem environment

I am typesetting a document using the memoir documentclass. Currently, my theorems have the following definition (using macros provided by the ntheorem package): % THEOREMS ...
6
votes
1answer
13k views

Using \newtheorem

Edited to include complete code, as suggested: Here is what the preamble of my main file looks like: \documentclass[12pt]{report} \usepackage{epsfig} \usepackage{upmathgrad2} ...
8
votes
2answers
532 views

amsthm with shared counters messes up autoref references

When I define amsthm theorem environments with shared counters, autoref messes up the names of the references. For example, in the output below, we should have "Definition 2" instead of "Theorem 2". ...
10
votes
1answer
1k views

Cleveref with counters with same name

I am trying to use the cleveref package. I have the following counters defined (hopefully this is the right way to do it!) \newtheorem{thm}{Theorem}[section] \newtheorem{lemma}[thm]{Lemma} ...
9
votes
3answers
4k views

Skipping line after “Proof” in proof environment

Like the OP in Is it possible to skip the first line in a theorem environment?, I would like to be able to skip a line after the word "Proof" so that the first line of the proof is actually part of ...
7
votes
2answers
1k views

Indent Theorem like \hangindent, but for multiple paragraphs

I would like to create a theorem style which indents the theorem exactly like a \hangindent would do, expect that the indention should continue for all paragraphs of the theorem. For example: ...
5
votes
1answer
2k views

Theorem content right after theorem name in beamer

When we write a theorem in beamer, by default the theorem name and theorem content are in different lines, like this: |------------------------------------------- |Theorem 1 ...
23
votes
4answers
15k views

A better way to reference theorem-like environments?

I know how to use \label and \ref to get a reference to a result(or whatever else really) that I have made previously in the document. But this is tedious and requires me to create a label name every ...
5
votes
4answers
1k views

Is it possible to use the enumerate/itemize environment within the proof/remark environment in a nice way?

I wish to use the enumerate/itemize environment within the proof/remark environment, but when I do this the first number/bullet-point is on the same line as the word 'Remark'/'Proof' indented to the ...
13
votes
2answers
455 views

Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs)

Does anyone know of any packages that support this style of writing proofs? The only things that I've found are: tex-ewd, a bunch of plain TeX macros on CTAN written specifically with Dijkstra in ...
8
votes
3answers
530 views

What’s the most straightforward way to typeset theorems etc. when the numbering is entirely manual?

I’m using LaTeX to typeset some homework, and since we’re assigned problems scattered throughout our textbook I have to enter the problem number for each problem I typeset. I’d like these problems to ...
3
votes
1answer
529 views

Theorem style with name as argument

Is there some way to get a theorem type which will make a theorem with the name passed as a parameter? In other words, is there a way to define "named" such that \begin{named}[NAME] text \end{named} ...
11
votes
1answer
702 views

How do I get the numbers for theorems, lemmas, examples, etc. before the type?

I am using the article document class with amsthm. I would like number the theorems/corollaries/examples, etc., consecutively as follows: 1.1 Theorem 1.2 Example 1.3 Example 1.4 ...
5
votes
1answer
546 views

How to make “claim” environments look like “theorem” environment?

I am using LyX 2.0.5 with document class article and 'Theorems (AMS)' in the modules. From what I understand, the claim environment copies its style from the remark environment. I'd like it to copy ...
5
votes
1answer
927 views

Easy-to-use reference-able environment for restating theorem-like environments?

This question is a development of the same issue as this one; following my own answer and later comment there, I decided it deserves a spin-off. I would like to define an environment for restating ...
4
votes
3answers
2k views

How to wrap around a figure in a theorem-like environment?

I want to illustrate my examples, which are set in a theorem-like environment. Is it possible to wrap the text and equations around the figures? I have read about several packages but I can't get them ...
11
votes
3answers
8k views

amsthm: \newtheoremstyle, headspace, \mbox{}, and lists

Q: How do I define a newtheoremstyle which will start the theorem text on a newline after the header even when the theorem text starts with a list, e.g., enumerate? If there's no way of doing this, ...
9
votes
3answers
455 views

Enumerating inside a proposition and inside a proof

I have one problem with enumerating. The symbols for items look differently when the enumerating is done ''inside'' propositions from the enumerating done ''inside'' a proof. The code ...
8
votes
2answers
3k views

Common, per-section numbering of theorems, lemmas etc.

I use amsthm for my theorems, lemmas etc. I'd like their numbering to look like that: Theorem 1.1.1 Lemma 1.1.2 Definition 1.1.3 Theorem 1.2.1 Definition 1.2.2 Corollary 1.2.3 Theorem 2.1.1 etc. ...
7
votes
2answers
6k views

Spacing before and after with \newtheoremstyle

I want to define my own theorem style for examples. I want them to be numbered the same way as theorems (so Example 2.4 follows Theorem 2.3); I want them to be formatted exactly the same as theorems ...
6
votes
2answers
398 views

Spacing for \listtheorems in ntheorem

Q: How do I get my theorem number and name to not overlap each other in my list of theorems? This is basically the same question as "Spacing control for listtheorems". But the solutions mentioned ...
1
vote
1answer
324 views

Customizing list of theorems

Is it possible to avoid brackets surrounding the name of a theorem in the \listoftheorems from package thmtools? And if so, how do I do that?
1
vote
1answer
456 views

How to suppress vertical space between proof environment heads and itemize environments?

The user 'egreg' recently helped me to suppress vertical space between theorem heads and enumitem environments (such as itemize; see the link below). I now have a similar problem: When a proof ...