{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

49
votes
3answers
3k 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 ...
8
votes
3answers
2k 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 ...
33
votes
6answers
5k 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, ...
9
votes
2answers
3k 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: ...
12
votes
3answers
4k 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 ...
8
votes
1answer
579 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 ...
9
votes
1answer
415 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
3k 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] ...
3
votes
1answer
1k 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 ...
4
votes
2answers
464 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 automagical solution without ~ and ...
21
votes
1answer
956 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 ...
11
votes
1answer
456 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 ...
12
votes
5answers
4k 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 ...
10
votes
3answers
428 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 ...
7
votes
2answers
1k 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 ...
6
votes
2answers
1k 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. ...
5
votes
2answers
198 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 ...
3
votes
1answer
581 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 ...
16
votes
4answers
5k 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 ...
18
votes
1answer
3k 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$}\\ ...
9
votes
3answers
3k 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 ...
9
votes
5answers
695 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} ...
17
votes
2answers
548 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: ...
11
votes
3answers
3k views

Theorem environment with hanging indentation

I would like to define a theorem environment with custom layout. In particular, I want the body of the theorem to be indented, like this Text body. Text body. Text body. Theorem 1 (Pythagoras). ...
4
votes
2answers
343 views

ntheorem environment with indentation

Considering this post theorem environment with hanging indentation and Stefan's answer, I'd be interested in the same approach with ntheorem. I've been through the .sty file but I have hard time ...
10
votes
3answers
5k 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 ...
9
votes
1answer
2k views

Theorem numbering as chapter.section.subsection.theorem number

This might be a simple question but it's weird that I couldn't find the answer anywhere on the internet. If I set as \newtheorem{-}{-}[section] then I get the numbering as Theorem ...
9
votes
3answers
263 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 ...
8
votes
3answers
1k 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 ...
7
votes
2answers
124 views

Using `environ` to make a list of environments?

In my document I use an amsthm environment called question, which I use to, well, pose questions to myself for later reference. However, they are spread out in the text. I know ntheorem has a ...
7
votes
5answers
5k 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 ...
5
votes
2answers
115 views

List of short problem names?

I typeset a book with problems and solutions. I need to get a list of short problem names. I expected there will be a way similar to pitcures: \caption[Figure name for List of Figures]{Caption name} ...
4
votes
2answers
273 views

How to configure theorems depending on the document class?

I would like to have \newtheorem{teo}{Teorema}[chapter] if the book class is loaded but \newtheorem{teo}{Teorema}[section] if the article class is loaded. Can I do this with some sort of ...
3
votes
1answer
392 views

Endmarks not showing up, thmmarks, ntheorem

I can't get thmmarks in ntheorem to work in Latex. I've tried searching around the web, and I can't figure out what I'm doing wrong. I suspect there's something simple I'm missing. Here's a sample ...
7
votes
1answer
228 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 ...
6
votes
1answer
462 views

Overfull \hbox produced by ntheorem subtitles

I switched from using the standard AMS theorem package to ntheorem so I can put alternative end marks on theorem environments (I want my examples to have an end mark, but not the same one as proofs). ...
5
votes
1answer
336 views

Spacing (numwidth) control for listtheorems

I am using the \listtheorems command from ntheorem to generate a list of theorems for a document. However, because I number the theorems inside sections, the theorem number is a bit on the long side, ...
4
votes
2answers
574 views

`ntheorem` and `thmtools` seem incompatible

I am preparing the setup of the theorem environments for my thesis. I want to do this right before I have say 200 of those environments in my document, since changing them will likely break things at ...
4
votes
2answers
545 views

How to make equations, figures and theorems use the same numbering scheme

It was asked a while ago how to make equation use the same counter as a theorem for example and one solution was to make the theorem counter use the equation instead by using ...
3
votes
2answers
1k 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 ...
2
votes
2answers
311 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 ...
1
vote
1answer
193 views

RTL theorems with ntheorem and xetex have separator in wrong place

(This is a split-off from another RTL ntheorem issue.) When you have a theorem in RTL language text (e.g. Hebrew), using XeTeX+polyglossia(+bidi)+ntheorem, the theorem separator comes out before, ...
15
votes
5answers
565 views

How to put a star (or other symbol) in sections that are “special” (difficult, optional, etc)?

I'm currently writing a book, and I'd like some of the sections to be clearly marked as "difficult" or "optional". Not only sections, but also exercises (I'm using the exercise package) and theorems ...
5
votes
1answer
894 views

Theorem formatting

\theoremstyle{remark} \newtheorem{example}{Example} Then: \begin{example} Some text \end{example} Output is: Example 1. Some text What is the way to automatically obtain without indent: ...
11
votes
2answers
707 views

Different colorcoded theorems

I'm using this code to frame my theorems: \documentclass[a4paper,12pt]{scrreprt} \usepackage[table]{xcolor} \usepackage{latexsym} \usepackage{amsmath} \usepackage[amsmath,thmmarks,framed]{ntheorem} ...
7
votes
1answer
332 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: ...
17
votes
3answers
1k 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, ...
15
votes
4answers
1k views

How to prevent paragraph breaks after theorem environments?

By default, the list environments (such as itemize) have the nice property that if you add a blank line after it, it starts a new paragraph, and if you don't, the paragraph continues. So The ...
11
votes
3answers
1k views

Theorem name and number in margin, note in text

I'm using thmtools to make ultra-fancy theorems. I would like the Theorem name and number (e.g., "Theorem 1") to jut out into the left margin of the text, and the note (e.g., "The Fundamental Theorem ...
7
votes
1answer
8k views

Theorem/Definition/Lemma problem — Numbering

I am trying to work on the numbering of the theorems/definitions/lemmas etc., and I have some problems with the numbering. I would like the theorems, propositions, corollarys, definitions, ...

1 2 3