{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
1answer
4k 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
604 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
2answers
110 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
131 views

Change from “Theorem 10.1” to “10.1 Theorem” [duplicate]

Possible Duplicate: Numbering theorem-like environments How can I change the order in which theorems are displayed? I want 10.1 Theorem and not Theorem 10.1 Thanks.
7
votes
2answers
664 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
334 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
875 views

Line break in theorem header

I am using ntheorem to define my own environments like this \theoremindent=0cm \theoremheaderfont{\kern-0cm\normalfont\bfseries} \theorembodyfont{\upshape} \theoremstyle{break} ...
5
votes
1answer
586 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
229 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
622 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? ...
5
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} ...
4
votes
5answers
223 views

Marking the end of a definition

I'm using the amsthm package to define a definition environment as follows: \theoremstyle{definition} \newtheorem{definition}{Definition} To my surprise, this provides barely any typographic ...
4
votes
1answer
213 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
2k views

Proof environment: problem with \popQED and \pushQED{\qed}

I was trying to replace . with : in the proof environment and after trying a lot of answered questions here, I got [I'm using amsmath] \makeatletter \renewenvironment{proof}[1][\proofname]{\par ...
4
votes
2answers
2k views

Indentation for proofs

I'm using amsbook document class and amsthm package. I want the proofs to stand out from the rest of the text by slightly indenting them, i.e. leaving some margins from left and right. How do I do ...
4
votes
1answer
547 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 ...
3
votes
1answer
56 views

Theorem name not making it to the aux

I posted a question. egreg answered. I applied his solution to my presentation. It worked. Then I tried it in my thesis, where I use references, and I realized the theorem names weren't making it to ...
3
votes
1answer
74 views

Cleveref interaction with theorem subnumbering

I have included sub-numbered theorems according to the suggestion for this question: How do I get sub-numbering for theorems (Theorem 1.A., Theorem 1.B., Theorem 2.)? This works great, and it ...
3
votes
1answer
208 views

Wrapping image with multiple theorem-like environments and displayed math

I'm struggling to put an image into a page with multiple theorem-like environments, some of which include displayed math, but I can't get the text to wrap correctly around the image and caption: ...
3
votes
1answer
346 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
266 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
186 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
186 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
175 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
370 views

Automatically add theorems to index and label them

In another question (Remove math from command parameter to get only the letters) this command was elaborated to have an optional argument for sorting purposes within the index \documentclass{article} ...
2
votes
3answers
781 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 ...
1
vote
2answers
60 views

How to cross reference theorem lemma etc as for example “Theorem 1” in LyX

I have loaded the theorem by type and theorem by type within Chapter (TIP for learner:add the first in order to add the second). So I use theorem environment for different types: proposition, ...
12
votes
2answers
1k 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
206 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
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} ...
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 ...
10
votes
2answers
137 views

Adding text to a different part of the document

I'm writing a LaTeX document at the moment which has problems (which are created in a {theorem} environment) for the reader in it. I'd like to put solutions to those problems in the end of the ...
8
votes
1answer
347 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
3answers
992 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: ...
8
votes
1answer
874 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: ...
8
votes
3answers
3k 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 ...
7
votes
3answers
276 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
1answer
7k 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} ...
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 ...
6
votes
2answers
3k 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
1answer
216 views

Preferred way of creating problem and solution environments

I know we can create problem-solution pairs using the exercise package but I am looking for something that is much simpler and similar to theorem and proof environments. I have solved this problem in ...
6
votes
1answer
814 views

Beamer newenvironment for theorems

I'm trying to define a new environment for theorems and I'm using this code: % Theorem box \pgfdeclarelayer{background} \pgfsetlayers{background,main} \tikzstyle{thmbox} = [inner sep=1em] ...
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
751 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
256 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
554 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
137 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
2answers
2k views

Lyx 2.0 Formatted references to theorem/lemma/claim environments

In Lyx 2.0, I'm trying to use a formatted reference to a claim, but I cannot get the "formatted" part, i.e. I can't get it to typeset "claim" as well as the claim number. I'm using modules "Theorems ...
5
votes
1answer
2k views

Changing `proof` endmark when using `ntheorem` with `thmmarks` and `amsthm` options

Q: Is there an easy way to change the default proof environment endmark (it's normally a funny open square and I'd like to change it to \blacksquare) when using the ntheorem package with the amsthm ...
5
votes
1answer
388 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 ...