{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

17
votes
5answers
11k views

Changing style of Proof

I'm using the \begin{proof} of the amsthm package. And I want to change the style of the Proof word that is added in the beginning. By default it is italic, I want to make it bold. How can I do it?
14
votes
3answers
596 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 ...
10
votes
3answers
2k 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
1answer
642 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 ...
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. ...
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 ...
7
votes
2answers
94 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
2k 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
584 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
144 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?
5
votes
1answer
176 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} ...
5
votes
2answers
886 views

thmtools: How to prevent pagebreak between theorem and proof?

I am using thmtools to format a collection of theorems and their proofs. Is there any way to prevent a pagebreak from happening between the last line of a theorem statement and the first line of the ...
4
votes
1answer
138 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
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
159 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
138 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
76 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
145 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
830 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
555 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 ...
11
votes
2answers
795 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
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 ...
8
votes
1answer
170 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
213 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
359 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
2answers
5k 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
4answers
967 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
176 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
566 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
796 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
549 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
979 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
627 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
138 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
159 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
1answer
301 views

Indent text after line 1

How can I accomplish something like this: Basically, I want my text to be "indented" after the first line. It would be great if somebody knew an answer. Ideally I would like to do this, because I ...
5
votes
1answer
127 views

Customize environment “proof”

I need to create (or customize) an environment "proof" that has the option to explain after the word 'proof' the name of the theorem (or environment) along with its automatic numbering of the theorem ...
5
votes
1answer
3k views

No Counter Theorem1 is defined

I got an exception in the following latex code: "No Counter Theorem1 is defined", what is the problem? \documentclass[conference]{IEEEtran} \newtheorem{definition}[theorem1]{Definition} ...
5
votes
1answer
206 views

Non-italicized text in a \newfixedcaption

This is a very specific follow-up question to this answer given to this question. I want to insert a picture, and use overpic to label it, in between two paragraphs of text in a thm environment ...
5
votes
2answers
1k views

How can I get a line break in a theorem headline?

I have a theorem title, which is longer then the page width. How do I get the title in two lines? \begin{theorem}[this title is to long for one line] the theorem \end{theorem}
5
votes
1answer
903 views

ntheorem and theoremname

I'm using ntheorem (mostly for thmmarks), and I'd like to change the font used for the theorem name. Specifically, I'd like \begin{theorem}[Name of theorem] to generate "Theorem 1 (Name of ...
5
votes
3answers
2k 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 ...
4
votes
1answer
67 views

mdframed: how to change the separator between the label and the title of a non-numbered thereom?

The problem There seems to be a bug in mdframed package. With the theoremseparator key, one should be able to change the text between the "label" and the title of a theorem ("Theorem" being the label ...
4
votes
1answer
94 views

Only show \NAME in \listoftheorems

I am using the thmtools package, and I want to modify \listoftheorems to only print the name of the theorem. For example, my document might look something like the one shown below. When I compile this ...
4
votes
1answer
506 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} ...
4
votes
1answer
490 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
152 views

How do I determine the name of the counter associated with a theorem-like environment

(A question related to this one and leading up to this one.) Suppose I'm using ntheorem. I would like to have a command which determines the name (not the value) of the counter associated with a ...