{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

12
votes
3answers
2k 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 ...
12
votes
2answers
916 views

A theorem and its proof in different places

I have a couple of theorems, proofs of which are quite boring and longish. I would like to place theorem formulations in a usual place and stack up the proofs at the end of the chapter. How to do ...
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: ...
11
votes
6answers
18k 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 ...
11
votes
3answers
1k views

tombstones and beer mugs

I'm trying to find an alternative to the standard tombstone qed symbol for more informal papers. I initially thought of an empty square with Pub written inside, but what would actually be better would ...
11
votes
2answers
1k 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} ...
11
votes
2answers
282 views

Counting the total number of theorems

I have: \usepackage{amsthm} \newtheorem{problem}{Problem} .... \begin{problem}...\end{problem}... ... \begin{problem}...\end{problem}... In the first page of the document, how can I know the number ...
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, ...
11
votes
4answers
5k 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). ...
11
votes
1answer
6k 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 ...
11
votes
1answer
545 views

Enumerate environments within theorems

How to create an environment for enumerating that allows one to identify the enumeration with the theorem environment? Example: Definition 1.1 Let X be a set. An algebra over X is a collection C ...
11
votes
4answers
1k views

Annoying space before the first item in an enumeration which starts a theorem

Consider the following example: \documentclass{article} \newtheorem{Theorem}{Theorem} \begin{document} \begin{Theorem} On the other hand, this one has only one claim. \end{Theorem} \begin{Theorem} ...
11
votes
2answers
9k 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} ...
11
votes
1answer
696 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 ...
11
votes
2answers
2k views

Italic in theorem environment

Consider the following theorem: \begin{theorem} If $x=0$, then $xy$ is equal to 0. \end{theorem} The first "0" will be typeset in upright typeface and the second one in italic. Including amsthm ...
11
votes
1answer
905 views

Move QED symbol to the left, i.e. at the end of the sentence

I want to make the qed symbol at the end of a proof appear at the end of the last sentence, not at the far right of the same line. Would like to do this the simplest way possible. All I can find ...
11
votes
1answer
342 views

Is there an “endproof” package?

You may be familiar with the endfloat package, which moves all figures and tables to the end of your document. Is there a similar package for achieving that kind of results with proof environments ...
11
votes
3answers
166 views

Theorem style similar to equation

I was trying to treat theorems and lemmas as in the book Visual complex analysis which in my opinion has a very nice format for informal reading. I would like to have equations and propositions ...
10
votes
1answer
3k views

how to enumerate theorems using letters?

how to enumerate theorems using letters?
10
votes
1answer
4k views

Redefining a theorem counter

I have a document with a lot of lemmas and theorems. In the main part of the document there are sections and subsections, so I defined \newtheorem{lem}{Lemma}[subsection] to number the lemmas ...
10
votes
3answers
2k views

How to reference part of a theorem?

I have a corollary with a number of parts whose parts need to be referenced individually later on, so something like: \begin{cor}\label{cor} \begin{enumerate} \item Part one \label{partone} ...
10
votes
1answer
858 views

Overriding italicized list counters in plain theoremstyles

Using a list environment inside of any theorem defined with \theoremstyle{plain} results in italicized counters. That is, the following example \usepackage{amsthm} \usepackage{enumerate} ...
10
votes
3answers
4k views

Proof environment - line break after the “Proof.”

I want to make the proof environment in amsthm package to auto add a line break right after the "Proof." I tried the following code, which also removed the QED sign, but it doesn't work: No linebreak ...
10
votes
1answer
5k views

Proofs in Beamer

I'm writing a presentation in Beamer, where I present proofs which are longer than one frame. How to make Beamer to break it automatically to another frame? If it is not possible how am I supposed to ...
10
votes
1answer
2k views

Change only the ending with renewenvironment

I have a theorem environment I've made called "ex" (using the theoremstyle "definition"), which I use for examples in a book document class. I like that I can number the examples, but I want a proof ...
10
votes
1answer
680 views

How to number floats in sequence with theorems?

I like having all my theorems, examples, defintions etc. numbered in a single sequence. Is it possible to have LaTeX number my floating figures in sequence with them as well? I.e.: Theorem 1.1 A ...
10
votes
1answer
210 views

Numbering theorems in the left margin

My question is similar to this and this. I would like to have the theorem number in the left margin (0.6em spacing to the main text) and the Name 'Theorem' should be justified to the main text. The ...
10
votes
1answer
2k views

How to add different Q.E.D. symbols to different theorems?

I have a series of theorem styles, two of them look like this: \theoremstyle{definition} \newtheorem{define}{Definition} \theoremstyle{plain} \newtheorem{theorem}{Theorem} I want to add a ...
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} ...
10
votes
2answers
266 views

Extra spacing around restatable theorems

I'm learning how to use the thmtools package, and I came across a strange quirk. A minimal example is as follows: \documentclass{article} \usepackage{amsthm} \usepackage{thmtools} ...
10
votes
2answers
790 views

How do I make a Theorem n followed by a Theorem n' ?

I am writing a paper where I have a stated a theorem, and then a short time later I state another theorem which is equivalent to the first. Is it possible to number them so that the second is a primed ...
10
votes
1answer
483 views

A problem with thmtools

I updated my TeXLive yesterday and thmtools is being problematic... Running pdflatex on the following minimal example \documentclass{article} \usepackage{thmtools} \begin{document} Hello ...
9
votes
2answers
1k views

QED symbol on the same page as proof

I'm using the proof environment from the amsthm package. In some cases, the last line of a proof falls at the end of a page, but the QED symbol (the little white box) ends up on the following page. ...
9
votes
6answers
1k views

How to split an example into two parts?

I am trying to have an example (using the theorem environent in amsmath) split in two parts: Example 1 ... Some more discussion Example 1 (continued) ... What is the best way to do this ? The ...
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 ...
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 ...
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 ...
9
votes
2answers
8k views

Title of the theorem

in my paper the text inside theorem is italic while the word Theorem 1 is bold and not italic. I would like to have a title of the theorem also not italic. The example is here: Theorem 1. (The title) ...
9
votes
3answers
443 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 ...
9
votes
1answer
2k views

How can I create a “Proof of Theorem x.xx” header for a proof environment?

In many papers in mathematics, the author states a theorem in somewhere and adds some explanations and perhaps some lemmas and later starts the proof with a phrase like "Proof of Theorem x.xx" (x's ...
9
votes
3answers
2k views

ToC like list of definitions (using theorem environments)

For one of my documents I use these commands to setup my theorem environments with amsthm: \usepackage{xcolor} \usepackage{framed} \colorlet{shadecolor}{lightgray!25} ...
9
votes
2answers
2k views

Wrong spacing before theorem environment (amsthm)

I am using the amsthm package to have environment. I also use \usepackage[onehalfspacing]{setspace} to have 1.5 line spacing. However, when I use the the theorem environment, the spacing before is ...
9
votes
1answer
495 views

Change “Theorem” to “Věta” in beamer

I tried to use \uselanguage{Czech}\languagepath{Czech} as suggested in Babel (French) does not translate the theorem environment in Beamer class, but I still get "Theorem" instead of "Věta" for my ...
9
votes
1answer
102 views

Numbering theorems with page numbers

I want to number theorems by (page number).(sequential in the page). So in page 6 I would have Thm 6.1 AAAAAABBBVVV Thm 6.2 BBBGGSDFASFASF Thm 6.3 AXASDFASDF and then in page 7 it ...
9
votes
1answer
1k views

Duplicating the amsthm proof environment

I am currently writing up some lecture notes and would like to have therefore a "\solution" environment which should work basically as the amsthm \proof environment, just writing "Solution." instead ...
9
votes
1answer
290 views

List of definitions: how to remove the prefix “Definition”?

I have write definitions in this way (this is a MWE class unatesi is available here): \documentclass[laurea,oneside,12pt,italian]{unatesi} \usepackage{amsthm} \usepackage{thmtools} ...
9
votes
2answers
2k views

QED symbol in a custom theorem environment

I have created my own theorem environment like this \newtheoremstyle{mythmstyle}{}{}{}{}{\scshape}{.}{ }{} \theoremstyle{mythmstyle} \newtheorem{mythm}{Theorem} How do I add the QED symbol (the ...
9
votes
2answers
1k views

autoref names messed up when defining certain ntheorem theoremstyles

I define a theorem style pretty innocuously, to get things looking a bit more like amsthm theorems. But - my \autoref{}s become messed up with optional arguments of theorem environments. ...
9
votes
1answer
178 views

Remove numbering of unreferenced theorems

Can theorems, lemmas, etc., be automatically displayed without numbers if not referenced (like \mathtoolsset{showonlyrefs} for equation tags)?
9
votes
2answers
612 views

References to named theorems

I would like to know how to give theorem type environments names and then how to later reference them using those names. I was able to use this thread to create named theorems. However, this seems ...