{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
3answers
643 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
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
133 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
669 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} \usepackage[...
6
votes
3answers
350 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
901 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} \newtheorem{problem}{...
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} \theoremstyle{...
5
votes
1answer
627 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
1answer
615 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
231 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 ...
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
217 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} \...
3
votes
1answer
187 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
1answer
210 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
57 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
79 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
2answers
188 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 ...
3
votes
1answer
361 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
289 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 ...
2
votes
1answer
378 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
800 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
72 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 this?...
11
votes
3answers
208 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
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 ...
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} \...
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
352 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
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 ...
8
votes
3answers
1k 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
888 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: ...
7
votes
3answers
277 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} \begin{...
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 \newtheoremstyle{...
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
4k 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
757 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}} \newcommand\demo{\xqed{$...
6
votes
1answer
221 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
836 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] \tikzstyle{...
5
votes
2answers
260 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
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
404 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
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
1answer
1k 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
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
571 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 ...
4
votes
1answer
166 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 ...
4
votes
1answer
3k views

amsthm: how to reduce the vertical spacing between theorem and proof?

I'm using the amsthm package to layout theorems and their proofs. How can I reduce the vertical spacing between the last line of the theorem statement and the first line of the proof? BTW, I tried ...
4
votes
1answer
235 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 ...