{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

13
votes
4answers
11k views

Defining my own proof environment?

How would I define a proof environment that is basically used with \begin{proof} some proof here \end{proof} and it would be equivalent to: \paragraph{Proof:} some proof here \hfill \box ?
11
votes
1answer
342 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 ...
10
votes
3answers
4k 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
2answers
790 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
1answer
247 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 ...
7
votes
1answer
234 views

How to remove space surrounding a colored theorem box?

This is a follow-up question of Combining spacebelow with shaded parameter in thmtools package. Bug?. How can I get rid of the space above the theorem box? If I comment out the mdframed=... line it ...
6
votes
1answer
2k views

How can I change the spacing before theorems with amsthm?

I have a spacing problem. Whenever I include a theorem environment, \begin{theorem}\end{theorem}, the theorem appears very close to the previous line. The spacing is much less than the normal spacing ...
5
votes
2answers
103 views

Compile only the theorems

Is there a way (package or anything) to compile only the theorems in a tex-document. With theorems I mean the lemmas, propositions and theorems defined in the theorem-environment of the amsthm ...
17
votes
6answers
5k views

Pushing \qed to the right within a displayed formula

In my own custom theorem environment, I'm using the \qed command to create a white box. This works wonderfully when the theorem ends with a regular paragraph -- the box is pushed to the right where it ...
15
votes
3answers
1k views

Cleveref and named theorems

Is it possible with Cleverref to reference not only the number of an environment but the "name" (the thing that is passed to it in square brackets? In the following example I want to replace the line ...
14
votes
2answers
4k 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 ...
12
votes
2answers
524 views

How to create *local* labels/refs in LaTeX?

Concise question: Is there any way to limit the scope in which a \label is visible to a \ref? Motivation: My current goal is to create a rather large document, containing many exercises and their ...
12
votes
1answer
4k 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 ...
12
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 ...
10
votes
1answer
3k views

how to enumerate theorems using letters?

how to enumerate theorems using letters?
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
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
2answers
766 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 ...
7
votes
1answer
534 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. ...
6
votes
1answer
711 views

Parts numbering in Proofs

I am using proof environment from amsthm to type proofs. Some proofs are long, so it would be nice to split them into numbered parts. I have defined new theorem environment called proofpart for that ...
5
votes
1answer
133 views

Hide content to show later

My question appeared about this egreg's answer: http://tex.stackexchange.com/a/210564/15256 I have a list of exercise-answers but I don't want to show the answers immediately but after till I'll pull ...
4
votes
1answer
334 views

Double vertical bars alongside statements of theorems

Prof. Hatcher describes a way to produce them in TeX here: http://www.math.cornell.edu/~hatcher/AT/typography.html I would like to know if any of you guys knows of a way to generate them in LaTeX. ...
1
vote
1answer
231 views

Alternative numbering for theorem

I am using thmtools as a front end to amsthm and I have a definition environment as follows. \declaretheorem[ style=mydefinitionstyle, name=Definition, numberwithin=chapter ]{definition} ...
12
votes
6answers
5k views

How to remove the “.” in the proof environment?

Using amsthm, is there a possibility to remove the dot when typing \begin{proof}...\end{proof}? This would be typeset as "Proof." If you change your proofname \begin{proof}[Proof:]...\end{proof} you ...
10
votes
1answer
210 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
2answers
266 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} ...
9
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. ...
9
votes
2answers
8k 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) ...
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
475 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 ...
7
votes
4answers
84 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
104 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
2answers
632 views

Own command to create new environment

The following code isn't very minimal but I hope you will be able to understand the code. \setcounter{errorcontextlines}{999} \documentclass{scrartcl} \usepackage{lipsum,ntheorem} ...
6
votes
3answers
221 views

Lemmas and sub sections

I want to write a LaTeX code to show, Lemma 1 : x+y=z Lemma 1.1: z-r+t=3 Lemma 1.2: q=r How do I do that?
6
votes
1answer
814 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} ...
5
votes
1answer
363 views

Can we remove the ( ) bracket from Theorem 1.2.1 ( [7])

Can we remove the ( ) bracket from the environment like Theorem 1.2.1 ( [7]).
5
votes
1answer
198 views

Using amsthm to number examples - how do I account for altered examples (i.e. 1', 1'', etc.)

I have sought long and hard for a solution to this and experimented with a combination of http://tex.stackexchange.com/a/43351 and http://tex.stackexchange.com/a/443, but could not get it to work. I ...
5
votes
2answers
2k views

How to number equations within theorem-like environments

I want to enumerate equations within theorem-like environments. Example: \documentclass[a4paper,10pt]{article} \usepackage{amsmath,amsthm} \newtheorem{theo}{Theorem}[section] % \begin{document} ...
4
votes
1answer
181 views

How can I define a new environment which limits the scope of \newtheorem commands?

I am attempting to make an environment out of the command given in one of the answers to this question: Customizing theorem name. \documentclass{article} \usepackage{amsmath} \usepackage{amsthm} ...
4
votes
1answer
579 views

Horizontal spacing issue in \listoftheorems using amsthm + thmtools

I am using the command \listoftheorems with packages amsthm and thmtools. The problem is that the theorem's head and its optional title overlap. How can I make this space bigger to avoid overlapping? ...
4
votes
1answer
416 views

Reindexing Theorem Numbers

The amsthm package comes with an several theorem-like environments. Is there a way to adjust the indexing on a sequence of theorems to skip a number? That is, I would like to have it do something like ...
4
votes
2answers
2k views

Sectioning paragraphs, such as for different cases inside a proof

I'd like to have offset paragraphs inside a proof, say to delineate one case from another. I've been using \newtheoremstyle{component}{}{}{}{}{\itshape}{.}{.5em}{\thmnote{#3}#1} ...
3
votes
1answer
251 views

How to wrap text around theorem box?

I'm using the thmtools to create theorem boxes. \usepackage{thmtools} \usepackage[unq]{unique} \usepackage[usenames,dvipsnames,svgnames,table]{xcolor} \usepackage{wrapfig} \usepackage{float} ...
3
votes
1answer
154 views

Preventing the “end square” of proof environment to be alone on a newpage after an enumeration

I have something like (with the packages amsthm and document class book): \begin{proof} blabla \begin{itemize} \item blabla \item blabla \end{itemize} \end{proof} The problem is, that ...
3
votes
1answer
158 views

Line break in list in indented theorem

I'm trying to make an indented theorem environment as in A theoremstyle with complete indentation using amsthm. Here's a minimal (non-)working example: \documentclass{article} \usepackage{amsthm} ...
3
votes
2answers
168 views

Lemma numbering by first instance of referencing

My document is long with proofs broken into several lemmas and many of them are in the appendix. However, it seems odd when I am using Lemma 25 (which should ideally be Lemma 1) to prove Lemma 2. It ...
2
votes
2answers
131 views

Referencing Definition by Name and Optional Argument

I have the following MWE: \documentclass{article} \usepackage{amsthm} \usepackage{hyperref} \newtheorem*{definition}{Definition} \begin{document} \section{Section Definitions} ...
2
votes
1answer
1k views

Case numbering within proof [duplicate]

I am currently using this in the preamble: \theoremstyle{plain}% default \newtheorem{thm}{Theorem}[section] \newtheorem{lem}[thm]{Lemma} \newtheorem{prop}[thm]{Proposition} ...
2
votes
2answers
1k views

Theorem formatting: strange interaction with itemize

This question is related to this one. I want to have theorem headers alone on a line like this: Theorem 1. some text... In the amsthm documentation, they suggest doing this: ...
2
votes
3answers
622 views

How to change the font style in theorem environment?

I have a constant defined by \newcommand{\Lip}{\textrm{Lip}} or \def\Lip{\text{Lip}} I use this constant in equations. But in the theorem environment, it appears in italic style. Does anyone ...