{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

10
votes
1answer
746 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
309 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} \...
9
votes
2answers
2k 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
2k 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
4answers
2k views

Is it possible to use the enumerate/itemize environment within the proof/remark environment in a nice way?

I wish to use the enumerate/itemize environment within the proof/remark environment, but when I do this the first number/bullet-point is on the same line as the word 'Remark'/'Proof' indented to the ...
9
votes
2answers
4k 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. ...
9
votes
1answer
743 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
112 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
957 views

Margins for proof environment

The code below is (almost) the proof environment of amsthm: \newenvironment{proof}[1][\proofname]% {% \par\pushQED{\qed}\normalfont\topsep6\p@\@plus6\p@\relax% \trivlist\item[\hskip\labelsep\bfseries#...
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
193 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
851 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 ...
9
votes
1answer
2k views

How to number subtheorems hierarchically?

Problem in a nutshell: I'd like to number theorems that are embedded within other theorems' proofs with numbers that indicate the parent-child relationship between the two theorems. Problem in detail:...
9
votes
2answers
691 views

wrong page with pageref if using thmtools

I don't know if the following issue is related to any other question already asked. My issue and minimal looks very simple. \documentclass{book} \usepackage{hyperref} \usepackage{amsthm} \usepackage{...
9
votes
2answers
489 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 box/...
9
votes
1answer
2k 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
340 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
1answer
4k views

Usage of \hskip \labelsep while creating an environment with trivlist

I am trying to learn how to create a theorem like environment from http://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/Theorems.html To keep the code below simple, I am not really defining a new ...
9
votes
1answer
741 views

How to create a framed proof attached to a theorem?

I am trying to create a customized "proof" environment attached to a theorem. It looks like this: So there is first the theorem, and then a gray bar starts on the inner margin. It ends, when the ...
8
votes
4answers
342 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
578 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
147 views

How to specify RULES in main body

I want to write RULES in main body, how to write the correct TeX code that guarantees a little larger space before and after RULES like this.
8
votes
3answers
1k views

Hyperref and theoremref conflict?

I initially thought that this problem was with Unicode characters, but reducing the file led to the MWE below which has none, so it seems that theoremref and hyperref don't like each other. Consider: ...
8
votes
3answers
710 views

What’s the most straightforward way to typeset theorems etc. when the numbering is entirely manual?

I’m using LaTeX to typeset some homework, and since we’re assigned problems scattered throughout our textbook I have to enter the problem number for each problem I typeset. I’d like these problems to ...
8
votes
2answers
257 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} \begin{...
8
votes
2answers
798 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
947 views

Transitioning to mathtools - environment proof undefined

I am new to LaTeX and I was using the amsthm package in order to write proofs by using the proof environment: \documentclass{book} \usepackage{amsthm} \newtheorem{theorem}{Theorem} \begin{document} ...
8
votes
2answers
274 views

How do I make all the theorem-alike environments have an ending symbol?

I have a question about making an ending symbol. It is a LaTex-default that every proof environment has an ending symbol. I want to make every theorem-alike environment such as the example ...
8
votes
2answers
269 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
3answers
664 views

Reference to List Items in Theorem Environment with Label Type “Theorem”

I'm trying to set up references to list items in theorem environments. Using the thmtools and the cref-package I am able to reference theorem environments, such that the theorem type, e.g. theorem, ...
8
votes
2answers
762 views

change label of a single theorem using ntheorem

My question refers to the minimal example pasted below. I would like to change the title of the second theorem (the one with yyy) to Theorem 7' without affecting the theorem counter. That is, the ...
8
votes
2answers
606 views

Change definition number in beamer

In a beamer presentation, I need to redefine one definition (the definition numbers have to be same). How can I do that? Here is my code. \documentclass{beamer} \setbeamertemplate{theorems}[ams ...
8
votes
1answer
239 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 ...
8
votes
1answer
2k views

Shaded theorems (thmtools) spanning pages

When the thmtools package is used to create theorem environments with a shaded background, it does not allow separate theorems to span more than one page. This is a rather severe problem if the ...
8
votes
1answer
2k 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
357 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
910 views

Incorrect hypothesis counter

The hypotheses counter seems to work incorrectly. All hypotheses are numbered with a 1. What exactly am I doing wrong? I have the following code: \documentclass[12pt]{article} \usepackage{amsthm} ...
8
votes
1answer
1k views

Custom proof environment

How to define another proof environment, say, for the "Proof of lemma"? Also, how to make it without the qed box? (I need one with qed box, and another one without qed box.) I'm using amsbook ...
8
votes
1answer
307 views

How can I make a custom theorem for a definition?

Looking at the wikibooks article on theorems has me wondering... I'd like to do something, if possible, similar to the default "proof" theorem style, whereby I can add a custom name to each theorem as ...
8
votes
1answer
4k views

Redefine block template for Beamer theorem-like environment

I would like to redefine the block templates for Beamer's theorem-like environments. For example, the example environment creates an exampleblock. I would like to make the definition environment do ...
8
votes
1answer
890 views

amsthm: Theorems, Lemmas numbered backwards

What I want \newtheorem{thm}{Theorem} \begin{thm} A \end{thm} \begin{thm} B \end{thm} \begin{thm} C \end{thm} Ends up generating Theorem 1 A. Theorem 2 B. Theorem 3 C. What I want instead: ...
8
votes
3answers
3k views

Footnote doesn't appear when put into a “definition” environment

When I try to put a footnote into a definition environment (or theorem, etc.) it fails, whereas it works well in plain text... How can I fix it? (N.B. I use thmbox, I don't know if this have an ...
8
votes
1answer
992 views

How do I remove parentheses from theorem optional argument?

This is a MWE: \documentclass[12pt]{article} \usepackage{amsfonts, amsthm, amsmath, amssymb} \theoremstyle{definition} \newtheorem{Theorem}{Theorem}[section] \newtheorem*{Pythagorean theorem}{...
8
votes
1answer
616 views

How to alternate labels' styles in enumerated lists?

How can I alternate the display of an enumerated list's counter according to which command I've used? E.g., I want \foo{poor Yorick!} to look like (9) poor Yorick! but I want \bar{Joelle} to have a ...
8
votes
1answer
5k 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 ...
8
votes
1answer
889 views

Define proof environment in thmtools

I'm using thmtools for fancy-looking math environments. But I don't know how to redefine proof environment. I cannot find such topics in its documentation. This is my LaTeX code snippet. \...
8
votes
1answer
744 views

Add vertical space before and after framed-theorem environments

I want my theorem-like environments to be framed, as it's an effective way of making them stand out from the main text. According to Gonzalo Medina's answer to the question box around theorem ...
8
votes
1answer
1k views

wrapfigure in theorem-like environment

The following code does not create a wrapfigure within the thm environment. Is that because the latter is a list? \documentclass{book} \usepackage{amsthm} \usepackage{wrapfig} \theoremstyle{plain} \...