{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

71
votes
3answers
9k 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 ...
58
votes
8answers
15k 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, ...
41
votes
2answers
43k views

Theorem without numbering

Is it possible to have single theorems without numbering? I would like to be able to switch them off individually with asterisk-* or have a nono-theorem environment. \newtheorem{theorem}{Theorem} \...
41
votes
2answers
6k views

Recalling a theorem [duplicate]

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: ...
33
votes
4answers
31k 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 ...
32
votes
1answer
106k 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, ...
32
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 ...
29
votes
4answers
21k 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 ...
28
votes
1answer
6k 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$}\ ...
28
votes
1answer
9k views

amsthm: what are the newtheoremstyle parameters for the default styles?

The package amsthm contains the predefined theorem styles plain, definition and remark which you can employ using \theoremstyle before your \newtheorem. You can also create new theorem styles like ...
27
votes
6answers
7k views

Pushing \qed to the right within a displayed formula

In my own custom theorem environment, I'm using the \qed command to create a white box. This works wonderfully when the theorem ends with a regular paragraph -- the box is pushed to the right where it ...
27
votes
4answers
8k 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, ...
27
votes
2answers
10k views

Custom theorem numbering

This one should be easy for the gurus… Suppose I want to define a theorem environment which has a custom numbering scheme. That is, instead of being numbered according to some counter, it is numbered ...
27
votes
5answers
4k 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 ...
25
votes
5answers
18k views

Changing style of Proof

I'm using the \begin{proof} of the amsthm package. And I want to change the style of the Proof word that is added in the beginning. By default it is italic, I want to make it bold. How can I do it?
25
votes
6answers
5k 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} \begin{...
24
votes
2answers
39k 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 ...
23
votes
6answers
15k 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 (Will)”...
22
votes
4answers
1k views

A problem with thmtools and cleveref

I am trying to use thmtools and cleveref and I am getting a quite peculiar error. Here's a minimal example. \documentclass{article} \usepackage{thmtools} \usepackage{cleveref} \declaretheorem[name=...
21
votes
3answers
6k 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 (1)?...
18
votes
4answers
17k 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 (http://ctan.mackichan.com/macros/latex/...
18
votes
2answers
7k views

Remove the qed symbol of only a proof environment, not everyone else

I have seen several posts on how to remove the qed symbol in a proof, but that affects all proof environments. I would like to know how to remove the qed symbol in a particular proof because I have a ...
18
votes
3answers
2k views

Cleveref and named theorems

Is it possible with Cleverref to reference not only the number of an environment but the "name" (the thing that is passed to it in square brackets? In the following example I want to replace the line ...
18
votes
1answer
7k views

How to change the word “Proof” in the proof environment?

I want to change the word "Proof" into "Solution". Of course the following works. \begin{proof}[Solution] \end{proof} But it's quite cumbersome to add this additional [Solution] every time. Is ...
18
votes
1answer
9k views

Using LaTeX, how can I restate a theorem, with the same theorem number, later in a paper? [duplicate]

Possible Duplicate: How do I repeat a theorem number? I am writing a paper, and would like to state the main results in the Introduction. Then, when I come to prove the main results in later ...
17
votes
3answers
14k 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 ...
17
votes
3answers
5k views

Citing inside theorem header

How do I create something like this without getting any errors? \begin{thm}[\cite[page 10]{ABC2011}] ... \end{thm} I tried putting various things into {...} brackets, but not eliminating any errors....
16
votes
6answers
33k 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 ...
16
votes
2answers
13k 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: \newtheorem{theorem}...
16
votes
1answer
11k views

Start theorem counter from specific number

I have defined a new theorem and I would like it to start from a specific number(let's say 3). At first I thought of using \addtocounter{\theexe}{3}(where exe is the new theorem) but I get an error ...
16
votes
5answers
1k 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 ...
16
votes
1answer
4k 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 ...
15
votes
2answers
5k views

How do I get non-italic words in a theorem environment?

I want some words in my theorem environment to not be italic. I know there are simple ways to get the entire theorem in roman, but I'm looking for an italic theorem with specified words in roman. I ...
15
votes
3answers
6k 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 ...
15
votes
4answers
16k views

Defining my own proof environment?

How would I define a proof environment that is basically used with \begin{proof} some proof here \end{proof} and it would be equivalent to: \paragraph{Proof:} some proof here \hfill \box ?
15
votes
4answers
709 views

How do I use the boxed theorem name as a QED symbol

I'm wondering if there's a relatively simple way to achieve a result similar to the following: In particular, I'd like to be able to assign names and/or numbers to theorems/lemmas/propositions and ...
15
votes
2answers
15k 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 [section....
15
votes
1answer
5k views

Including end mark in definitions and examples (using amsthm)

I am using the amsthm package, and I have this in the preamble: \theoremstyle{definition} \newtheorem{definition}{Definition}[chapter] \newtheorem{example}[definition]{Example} \theoremstyle{plain} \...
15
votes
1answer
2k 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: \...
15
votes
1answer
11k views

How can one cite theorems of references?

I would like to cite the item (iii) of proposition 3 of a reference. How can I do it? Which ways do you suggest? This is a question not only about LaTeX, but also about style. One option I have seen ...
14
votes
3answers
659 views

What style/font is this?

Does anyone know how to create numbering for Theorem/lemma/… like this one in the image below, also any idea about the font name?
14
votes
4answers
1k views

Nice formatting for theorems

I'm writing an article with some theorems and I would like to use special formatting for the theorems - my idea is putting a grey line in the side of the theorem. Can you please show me how to do this ...
14
votes
2answers
760 views

How to create *local* labels/refs in LaTeX?

Concise question: Is there any way to limit the scope in which a \label is visible to a \ref? Motivation: My current goal is to create a rather large document, containing many exercises and their ...
14
votes
3answers
5k 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 (http://www.tug.org/...
14
votes
1answer
687 views

Theorem with separate tikz environments for header and body

My initial question: I'm writing my lecture notes in LaTeX and used some customized theorem environments with amsthm so far. Now I wanted to redesign those theorems with help of tikzpicture. That's ...
14
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: http://www.oxfordjournals.org/...
13
votes
6answers
7k views

How to remove the “.” in the proof environment?

Using amsthm, is there a possibility to remove the dot when typing \begin{proof}...\end{proof}? This would be typeset as "Proof." If you change your proofname \begin{proof}[Proof:]...\end{proof} you ...
13
votes
3answers
1k 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 ...
13
votes
1answer
16k views

Can I disable italics in the body text of a theorem without amsthm/ntheorem?

I'm submitting a paper and am required to use a provided document class which defines its own theorem environments, so I can't use packages like amsthm or ntheorem. The class doesn't define a '...
13
votes
2answers
747 views

Breaking a theorem between pages

I currently have this custom myexample theorem environment that is working absolutely great. \newtheoremstyle{myexamplestyle}{}{}{}{}{\bfseries}{.}{ }{} \theoremstyle{myexamplestyle}\newtheorem{...