{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

11
votes
1answer
5k 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 ...
11
votes
1answer
3k 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 ...
11
votes
1answer
7k 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 ...
11
votes
1answer
659 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
376 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 ...
11
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 ...
11
votes
1answer
312 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
149 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
2answers
3k 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 ...
10
votes
3answers
3k 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 ...
10
votes
2answers
14k 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 ...
10
votes
1answer
477 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 ...
10
votes
2answers
7k 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} ...
10
votes
3answers
3k 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
794 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 ...
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
628 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
159 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
444 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
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
2answers
6k 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
4k 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
2answers
6k 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
1answer
3k views

how to enumerate theorems using letters?

how to enumerate theorems using letters?
9
votes
3answers
279 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
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
408 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 ...
9
votes
1answer
99 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

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
1answer
317 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
2answers
907 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
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} ...
9
votes
1answer
171 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
1answer
594 views

How to customise (e.g. make thicker) the end-proof symbol in Beamer?

I would like to change the symbol for the end of proofs (the square) used in Beamer. It is quite thin, not very visible in some colorthemes. How can I have a thicker border and still in the structure ...
9
votes
2answers
413 views

How to add theorem number by the \qed mark at the end of proof environment

I use amsthm. All theorem-like environments use a common counter. As I have some very long proofs I want to add the theorem number to which the proof refers at the end of proof just next to the ...
9
votes
1answer
1k views

Fancy Theorem Environment and Colors

I'm trying to make a boxed theorem environment with colors. I thought I had done it, but I was mistaken--lists were the wrong colors. In the picture above, I would like the "list" to be the same ...
9
votes
1answer
120 views

Theorems and labels

Let me give a bit of background before the actual questions. I took a look at latex.ltx to see how labels are handled. I found that: \def\label#1{\@bsphack \protected@write\@auxout{}% ...
9
votes
2answers
673 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 ...
8
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. ...
8
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 ...
8
votes
4answers
229 views

Why doesn't this code combining \foreach with \newtheorem work?

Here is an example document. \documentclass[a4paper]{amsart} \usepackage{tikz} \theoremstyle{definition} \newtheorem{baseTheorem}{Base Theorem}[section] \foreach \x in ...
8
votes
3answers
318 views

How to draw a horizontal line at the end of proofs?

How can I draw a horizontal line at the end of proofs? I use \begin{proof}....\end{proof}. I use amsthm package without any modification.
8
votes
2answers
186 views

How remove indention in theorem environment?

How is it possible to remove the indention at the beginning of the theorem text? \documentclass{article} \usepackage{amsthm} \usepackage{thmtools} \declaretheorem[thmbox=L]{boxtheorem L} ...
8
votes
1answer
3k 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 ...
8
votes
2answers
523 views

How to replace the “.” with “:” in the proof environment?

I have seen a similar post here How to remove the "." in the proof environment?. But I don't know how I can modify the answer to replace . with : by using etoolbox.
8
votes
2answers
159 views

Intelligently Numbering “remarks” only when multiple are made

Problem. I am using the amsthm package, and have remarks after theorems. If there is only one remark between two theorems, the remark should not be numbered. If there are multiple remarks between ...
8
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 ...
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. ...