{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
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
6k 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
374 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
310 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
143 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
3answers
3k 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 ...
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
2k 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
13k 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
472 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
780 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
1k 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
618 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
150 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
1k 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
441 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
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 ...
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
5k 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
264 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
350 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
98 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
950 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
293 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
900 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
169 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
591 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
412 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 ...
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
228 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
317 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
185 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
2answers
517 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
157 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. ...
8
votes
1answer
1k views

Why is LaTeX giving all of my theorems the same number?

Whenever I try to number my theorems according to the section they are in, they all end up having the same number. I tried the other numbering schemes to see what they do, and the only one that gives ...
8
votes
1answer
205 views

Space generated by theorem labels (XeTeX)

With the thmtools package, combining \begin{foo}[name=bar,label=x] with the line \newtheorem{foo}{Foo} in the preamble typesets to Foo xxx (bar), where xxx is a number. After the (bar) there is an ...
8
votes
1answer
195 views

How do I adjust the placement of descriptions I've made alongside enumerated statements within a boxed theorem environment?

Basically, what I'd like is to have an elegant command that would enable descriptions (commutativity, associativity, etc.) made alongside enumerated statements to be aligned to the far right side of ...