{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
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 ...
9
votes
1answer
3k views

how to enumerate theorems using letters?

how to enumerate theorems using letters?
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
705 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
373 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
476 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 ...
6
votes
3answers
450 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 ...
4
votes
1answer
239 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
206 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} ...
14
votes
3answers
754 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 ...
11
votes
1answer
660 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 ...
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 ...
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. ...
7
votes
2answers
100 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
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 ...
7
votes
2answers
604 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
170 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
613 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
229 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
2answers
1k 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
155 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
534 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
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
182 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
149 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} ...
2
votes
2answers
96 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
2answers
147 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
925 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
577 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 ...
12
votes
2answers
836 views

A theorem and its proof in different places

I have a couple of theorems, proofs of which are quite boring and longish. I would like to place theorem formulations in a usual place and stack up the proofs at the end of the chapter. How to do ...
11
votes
3answers
149 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 ...
11
votes
6answers
4k 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 ...
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 ...
9
votes
2answers
6k 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
217 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
4answers
230 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
1answer
806 views

Duplicating the amsthm proof environment

I am currently writing up some lecture notes and would like to have therefore a "\solution" environment which should work basically as the amsthm \proof environment, just writing "Solution." instead ...
8
votes
1answer
391 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
4answers
1k views

Annoying space before the first item in an enumeration which starts a theorem

Consider the following example: \documentclass{article} \newtheorem{Theorem}{Theorem} \begin{document} \begin{Theorem} On the other hand, this one has only one claim. \end{Theorem} \begin{Theorem} ...
7
votes
3answers
189 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
2answers
220 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} ...
7
votes
3answers
639 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
3answers
1k 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 ...
6
votes
2answers
232 views

Beamer newtheorem translation

Consider the following MWE: \documentclass{beamer} \usepackage{lmodern} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage[spanish]{babel} \uselanguage{Spanish} \languagepath{Spanish} ...
6
votes
2answers
967 views

Indent Theorem like \hangindent, but for multiple paragraphs

I would like to create a theorem style which indents the theorem exactly like a \hangindent would do, expect that the indention should continue for all paragraphs of the theorem. For example: ...
6
votes
1answer
626 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: ...
6
votes
2answers
1k views

Creating list of for \newtheoremstyle

I want to create an list of theorems much like the list of figures, but couldn't find a packacke or tutorial to solve my problem. I tried this http://texblog.org/2008/07/13/define-your-own-list-of/ ...
6
votes
2answers
655 views

Improper alignment of qed-like symbol when using equation to end

I use this code to define a symbol that I put at end of (maths) examples in my file. \newcommand\xqed[1]{% \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill \quad\hbox{#1}} ...
5
votes
2answers
153 views

thmbox splits theorems in two pages and the option “nocut” produces many empty spaces in pages.

this is a follow up to the problem described here. I have the same problem and the proposed solution does not completely solve the problem. I mean, it does solve the problem but also creates another ...
5
votes
1answer
171 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 ...