{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

9
votes
2answers
629 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
2answers
453 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
182 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
2k views

Is there a \renewtheorem equivalent of \renewcommand, using amsthm and not ntheorem?

Suppose I have a theorem that is defined a certain way, as follows. \newtheorem*{mytheorem}{Foo} And I want to redefine it another way further down in my document, as below. ...
9
votes
1answer
516 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
271 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
405 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
1answer
11k 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 ...
8
votes
2answers
141 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
4k views

A theoremstyle with complete indentation using amsthm

I want to define a theoremstyle using amsthm, such that the complete environments content produced by \newtheorem with this style are indented. The following standalone example uses an adapted ...
8
votes
3answers
533 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
221 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
623 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
4k views

How do you number theorems but not definitions?

I am using LaTeX theorem style where I have at the top: \newtheorem{theorem}{Theorem} \newtheorem{definition}{Definition} \newtheorem{lemma}{Lemma} and then I use ...
8
votes
2answers
538 views

amsthm with shared counters messes up autoref references

When I define amsthm theorem environments with shared counters, autoref messes up the names of the references. For example, in the output below, we should have "Definition 2" instead of "Theorem 2". ...
8
votes
2answers
193 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
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
280 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
210 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
779 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% ...
8
votes
1answer
248 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
927 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
3k 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
485 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
3k 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
1k 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 ...
8
votes
1answer
450 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 ...
8
votes
1answer
545 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
2answers
537 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} ...
8
votes
1answer
3k 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 ...
8
votes
1answer
375 views

Weird behavior of ntheorem.

I have the following strange phenomena using ntheorem: I get $\Lambda$ instead of a \box. In other proofs I might get a \box or \Lambda. In the example I end with \[ \] if I use equation instead ...
8
votes
1answer
255 views

Multiple lists of theorems with different titles (any TeX, in my case XeLaTeX)

I've found out how to use the thmtools package to make lists of theorems. My questions on this are: How do I change the title, given that \renewcommand{\listoftheoremname}{...} gives a LaTeX ...
8
votes
2answers
775 views

Page-breaking over titles of theorems that have lists

When I have multiple part theorems, I use an enumerate environment inside my theorem environment. However, I don't like the list to start at the same level as the theorem title, since this produces ...
8
votes
1answer
981 views

Theorem decorations that stay with theorem environment

I am typesetting a document using the memoir documentclass. Currently, my theorems have the following definition (using macros provided by the ntheorem package): % THEOREMS ...
7
votes
2answers
6k views

Spacing before and after with \newtheoremstyle

I want to define my own theorem style for examples. I want them to be numbered the same way as theorems (so Example 2.4 follows Theorem 2.3); I want them to be formatted exactly the same as theorems ...
7
votes
3answers
786 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: ...
7
votes
2answers
1k views

How to suppress vertical space between theorem heads and enumitem environments?

How can I suppress vertical space between a theorem head and an enumitem environment? I would like the output to look like version 3 below, but I hope there is an automatical solution without ~ and ...
7
votes
1answer
2k views

Theorem formatting

\theoremstyle{remark} \newtheorem{example}{Example} Then: \begin{example} Some text \end{example} Output is: Example 1. Some text What is the way to automatically obtain without indent: ...
7
votes
3answers
273 views

Numbering Theorems/Definitions together, by section and without section symbol

I am fairly new to LaTeX and I am looking for a particular style: I want to number my theorems/propositions/corollaries/definitions together and by section. For example, Definition 1.1, Theorem 1.2, ...
7
votes
3answers
225 views

Overruns in newtheorem in latex

I'm defining a newtheorem as follows: \newtheorem{definition}{Definition} the problem is when the definition name is long, it results in overruns. I've tried \\ to split the name in two lines, ...
7
votes
3answers
2k views

amsthm environment and colorbox

I'd like to customize the amsthm command a little bit but I cannot find the relevant lines in the (undocumented?) .sty. How can I put a colorbox on the name of the environment ...
7
votes
2answers
123 views

How to label items

Is it possible to label items in latex in the following manner: We have the following theorem: Theorem 3.2 (I) bla bla bla (II) ble ble ble (III) bli bli bli So I would like ...
7
votes
4answers
89 views

Cross-reference two numbered environments

Consider the following code: \documentclass[a4paper,12pt]{book} \usepackage{amsthm} \usepackage{hyperref} \theoremstyle{plain} \newtheorem{exercise}{Exercise} \newtheorem{solution}{Solution} ...
7
votes
2answers
575 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 ...
7
votes
2answers
208 views

Using `environ` to make a list of environments?

In my document I use an amsthm environment called question, which I use to, well, pose questions to myself for later reference. However, they are spread out in the text. I know ntheorem has a ...
7
votes
1answer
1k 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 ...
7
votes
2answers
381 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 ...
7
votes
1answer
323 views

How to copy a lemma to appendix without changing its number?

I have a document with a lemma (using amsthm), like so: \begin{lem} \label{mylemma} % ... \end{lem} The proof of this lemma can be found in the appendix (see section \ref{sec:proof_of_mylemma}). ...