{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

56
votes
3answers
5k 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 ...
42
votes
7answers
8k 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, ...
8
votes
3answers
3k 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 ...
14
votes
3answers
11k 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 ...
3
votes
1answer
2k 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 ...
6
votes
2answers
798 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 ...
26
votes
1answer
2k 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 ...
12
votes
3answers
2k 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 ...
10
votes
1answer
678 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: ...
24
votes
2answers
2k 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: ...
12
votes
2answers
4k 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: ...
11
votes
3answers
474 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 ...
9
votes
1answer
882 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
4k 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] ...
14
votes
3answers
6k 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 ...
11
votes
5answers
1k 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} ...
8
votes
1answer
767 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 ...
21
votes
1answer
4k 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$}\\ ...
13
votes
1answer
813 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 ...
14
votes
5answers
6k 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 ...
3
votes
1answer
341 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
328 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 ...
9
votes
3answers
2k 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 ...
5
votes
2answers
2k 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 ...
4
votes
1answer
238 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 ...
4
votes
1answer
738 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 ...
8
votes
3answers
3k 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
294 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 ...
6
votes
2answers
2k 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. ...
4
votes
1answer
3k 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} ...
19
votes
4answers
10k 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 ...
13
votes
1answer
31k 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, ...
10
votes
3answers
6k 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 ...
7
votes
1answer
1k 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: ...
18
votes
3answers
3k 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, ...
17
votes
4answers
2k 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 ...
8
votes
2answers
5k views

Allow theorem split in many frames in beamer

How can a theorem-like environment be (automatically) split into multiple frames if the vertical space it needs is not enough in a frame? In my document preamble I have \theoremstyle{definition} ...
4
votes
1answer
225 views

Examples enumerated in the margins

I am writing a paper about phonetics that contains lots of examples, usually organised in tables. What I would like is to have these examples enumerated in the margins. Specifically, I need an ...
11
votes
4answers
4k 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). ...
7
votes
2answers
6k views

Solid black box in the proof environment

I am using \documentclass[12pt]{article} \usepackage{amsmath} \usepackage{amssymb} \usepackage{amsthm} \begin{document} \begin{proof} A = B \end{proof} \end{document} and an empty square box ...
7
votes
6answers
10k 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 ...
4
votes
2answers
557 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 ...
9
votes
1answer
4k 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 ...
7
votes
2answers
164 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 ...
5
votes
2answers
177 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} ...
5
votes
1answer
2k views

Numbering theorems within chapters

I've recently asked a question: Chapters in TeX regarding working with chapters in tex. I have since learned that I must use documentclass report for the purposes of my document. However, now all of ...
5
votes
1answer
471 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
1answer
247 views

Remove blank page between Acknowledgements and Table of Contents?

I get a blank page between “Acknowledgement” and “Table of contents”. How can I remove it? I used a template from somewhere. The preamble is as follows: \documentclass[openany,12pt]{ubthesis} ...
4
votes
2answers
402 views

Numbering theorems within the innermost sectioning environment present at that point in the document?

Here is what I am trying to achieve: Chapter 1. ... Theorem 1.1. ... Section 1.1. ... Theorem 1.1.1. ... Subsection 1.1.1. ... Theorem 1.1.1.1. Is this even possible? If so, how? ...
4
votes
2answers
412 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 ...