{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

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
251 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
368 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
135 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
3k 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
2answers
207 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
578 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
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
179 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
431 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
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
255 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
205 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
738 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
2answers
568 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 ...
8
votes
1answer
232 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
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 ...
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
452 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
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
477 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
505 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
369 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
227 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
248 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} ...
8
votes
2answers
744 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
946 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
1answer
10k 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 ...
7
votes
3answers
721 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
3answers
499 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 ...
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
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 ...
7
votes
3answers
253 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
211 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
4answers
78 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
541 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
202 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
2answers
330 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
2answers
96 views

Problems with theoremref

I'm having some problems with the theoremref package. Basically, instead of giving me as output something like "Lemma 1.1.1", where "Lemma" is the name of the theorem, it gives me something like "lem ...
7
votes
2answers
103 views

Setting an “attribute” for Theorem to be accessed later

I am writing a math paper with a large number of theorems. I'm looking to have a table summarizing my results, and I'd love it if the table could be generated automatically from my paper. I' looking ...
7
votes
1answer
500 views

Typeset Theorems in Upright Fonts for Beamer

I want to typeset my theorems within my presentation in upright fonts. The only way I know is by doing this: \begin{theorem} \textup{Upright Theorem} \end{theorem} When I use article document ...
7
votes
1answer
2k views

Best Practices for Using Enumerations Within Theorem Environments

Suppose one has a theorem/proof such as: \begin{theorem} The following are equivalent: \begin{enumerate} \item Statement 1 \item Statement 2 \item Statement 3 \end{enumerate} ...
7
votes
1answer
500 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} ...
7
votes
3answers
275 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, ...
7
votes
1answer
224 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}). ...
7
votes
2answers
204 views

Wrong vertical space in theorem environment closed by an equation

It happens that LaTeX, to fill a page vertically, adds extra spaces around equation environments (and other vertical spaces). Now suppose I have a theorem environment (using amsthm) which ends with an ...