Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [theorems]

{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.

4
votes
1answer
4k views

Theorem/Definition/Lemma problem — Numbering in Beamer

I am trying to work on the numbering of the theorems/definitions/lemmas etc., and I have some problems with the numbering. I would like the theorems, propositions, corollarys, definitions, examples ...
3
votes
2answers
1k views

Theoremstyle; leaving vertical space between the theorem header and the body of the theorem

I'm trying to write a thesis. There, they want a completely blank line after theorem, lemma, proposition, etc.. name. How can I leave such a vertical space between Theorem Head and the body of the ...
2
votes
1answer
466 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: ...
1
vote
1answer
386 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
2answers
551 views

Counting the total number of theorems

I have: \usepackage{amsthm} \newtheorem{problem}{Problem} .... \begin{problem}...\end{problem}... ... \begin{problem}...\end{problem}... In the first page of the document, how can I know the number ...
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
1answer
3k views

How to add different Q.E.D. symbols to different theorems?

I have a series of theorem styles, two of them look like this: \theoremstyle{definition} \newtheorem{define}{Definition} \theoremstyle{plain} \newtheorem{theorem}{Theorem} I want to add a \...
10
votes
2answers
3k 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. ...
10
votes
2answers
1k views

wrong page with pageref if using thmtools

I don't know if the following issue is related to any other question already asked. My issue and minimal looks very simple. \documentclass{book} \usepackage{hyperref} \usepackage{amsthm} \usepackage{...
9
votes
1answer
690 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 ...
9
votes
1answer
5k 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 ...
9
votes
2answers
6k views

cleveref doesn't use correct capitalized name if used with amsthm?

It seems that the cleveref package does not capitalize properly when referring to a newtheorem if both \crefname and \Crefname have been defined. Or is it just me? Here is my MWE: \documentclass[...
9
votes
1answer
877 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
1answer
12k 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{...
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: ...
7
votes
2answers
2k views

Footnote marker placement in heading of theorem/definition/etc.

I have a definition, and a footnote which refers to the whole definition.  So I’d ideally like an output looking something like: Definition 1.53.   A footnote is a small aside, usually ...
7
votes
1answer
190 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
1answer
230 views

How to place the theorem title in square brackets (instead of paranthesis)

The following MWE returns: Theorem 1 (title). theorem's body \documentclass{article} \usepackage{amsthm} \newtheorem{thm}{Theorem} \begin{document} \begin{thm}[title] theorem's body \end{thm}...
7
votes
2answers
135 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 ...
6
votes
1answer
2k views

Mysterious Vertical Space After Theorem/Proof Environments

I have defined my own theorem style to have 0pt above and 0pt below. For simplicity I have also set all other relevant spacings to 0pt. However, when I use a theorem or proof environment I get some ...
6
votes
2answers
594 views

How to change margins in enunciation (theorem-like environment)?

I'd like the margins in the example environment in the code below to be slightly indented. What is the easiest way of achieving this? It's supposed to apply to all example environments. In the ...
6
votes
1answer
2k views

Theorem numbering without the section and subsection numbers

I wish to number my theorems within subsections as Theorem 1 Theorem 2 Theorem 3 ... And only reset it back to 1 when I have a new subsection. So I have a subsection within a section, and within ...
5
votes
1answer
262 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 https://tex.stackexchange.com/a/43351 and https://tex.stackexchange.com/a/443, but could not get it to work. I ...
5
votes
1answer
751 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
945 views

Theorems and Definitions as quotes

Most standard styles highlight theorems and definitions using italics. Now this is something I really would like to avoid in my thesis (and generally). Unfortunately, if I just remove this "feature", ...
5
votes
2answers
5k views

Space before proof

I am trying to make LaTeX put no additional space between theorem and proof. Here is my code: \newtheorem*{pr3}{Theorem} \begin{pr3} foo \end{pr3} \...
5
votes
3answers
4k views

How to insert a dot after the theorem environment?

How to insert a dot after the theorem environment? I use \newtheorem{exerc}{}. \documentclass[a4paper]{article} \usepackage[utf8]{inputenc} \usepackage{theorem} \newtheorem{exerc}{} \begin{document}...
4
votes
1answer
755 views

How to change theorem numbering style in one chapter only?

I want to change numbering theormn and lemma in one chapter in thesis without change other chapters. Namely numbering (theormn and lemma) in one chapter is different from another chapter. How to ...
4
votes
2answers
4k views

Using \tag with amsthm environments?

I would like to custom tag theorems, similar to the way \tag lets me custom tag equations in a math environment. How should I go about doing so? The amsthm package documentation is silent on doing ...
4
votes
1answer
284 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
3k views

Name of the proof instead of just proof

Packages I'm using: \usepackage{amsmath} \usepackage{graphicx} \usepackage[colorinlistoftodos]{todonotes} \usepackage{amsthm} \usepackage{amssymb} \newtheorem{thm}{Theorem} \...
4
votes
1answer
966 views

Making a list of hypothesis and references to the hypothesis

I have some problems with making a list of hypothesis and references to my hypothesis. \documentclass[12pt, a4paper, makeidx]{memoir} \usepackage{ntheorem} % *************** hyperlinks in PDF ...
4
votes
1answer
88 views

zref-perpage doesn't work with theorem-like environments

I am trying to use the zref-perpage package to number theorem-like enviroments and equations by page. Unfortunately, it doesn't work well. In this first example, we see that the second thm appears ...
4
votes
1answer
3k 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
1answer
5k 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 ...
3
votes
1answer
664 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
2answers
983 views

Set number of tcbtheorem

For the ordinary theorem environments in LaTeX, amslatex, etc., you can easily set the theorem number, for instance by temporarily setting the appropriate counters, or by redefining the functions that ...
3
votes
2answers
457 views

Theorem style with surrounding lines

I'm using \documentclass{book}. I would like to create theorem styles as shown in the picture below but WITHOUT \tcolorbox. For some reason \tcolorbox doesn't work for me. Any ideas? Thanks in advance!...
3
votes
2answers
248 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
515 views

Placement of figures inside an ntheorem environment

I would like to wrap text around a figure in a ntheorem like environment. Currently, I am trying to use the cutwin package, which was suggested e.g. in this question: How to wrap around a figure in a ...
3
votes
2answers
123 views

Clever Ref to only give theorem names.

I have tried (with partial success) to modify the solution here to the question: Cleveref and named theorems. The idea is that I want to overload cleverref's Cref (and also cref) to give the name of ...
3
votes
1answer
707 views

Endmarks not showing up, thmmarks, ntheorem

I can't get thmmarks in ntheorem to work in Latex. I've tried searching around the web, and I can't figure out what I'm doing wrong. I suspect there's something simple I'm missing. Here's a sample ...
3
votes
1answer
569 views

ntheorem Box over multiple pages with continued hint?

When my ntheorem Box spans multiple pages, I want it to have a hint on each page, that it is a continuation. How can this be done? Below is some sample code, spanning a box over two pages, which is ...
3
votes
1answer
4k views

ntheorem: numbering of claim and its proof

I am trying to create a claim environment in ntheorem to use within the proof environment. I tried around with the following code \documentclass{article} \usepackage{ntheorem} \newtheorem{theorem}{...
3
votes
1answer
245 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
1k 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
771 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
1answer
85 views

Include in header theorem-like item name with math letter in optional argument

In Put current theorem-like item's name/number in header, Gustavo Mezzetti posted an answer that allows including in the page header the current theorem-like item's name and number. The problem ...
2
votes
0answers
312 views

Starting a theorem or a proof with an equation and vertical spacing [closed]

Is it bad practice to begin the statement of a theorem or of a proof with an equation? If it is acceptable, what is your opinion on the resulting spacing in the three cases, in the code below? In the ...
2
votes
1answer
199 views

How can I apply a custom-defined theorem environment to nested theorems *only*?

In a previous thread, I asked about the possibility of defining a custom theorem environment whose QED symbol would be a boxed version of the theorem's name/number/label. There, I was graciously ...