{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
1k views

How to reference part of a theorem?

I have a corollary with a number of parts whose parts need to be referenced individually later on, so something like: \begin{cor}\label{cor} \begin{enumerate} \item Part one \label{partone} ...
8
votes
1answer
692 views

Overriding italicized list counters in plain theoremstyles

Using a list environment inside of any theorem defined with \theoremstyle{plain} results in italicized counters. That is, the following example \usepackage{amsthm} \usepackage{enumerate} ...
8
votes
1answer
995 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
307 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} ...
8
votes
1answer
2k 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
3k views

Proofs in Beamer

I'm writing a presentation in Beamer, where I present proofs which are longer than one frame. How to make Beamer to break it automatically to another frame? If it is not possible how am I supposed to ...
8
votes
1answer
348 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
953 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} ...
8
votes
1answer
2k views

Usage of \hskip \labelsep while creating an environment with trivlist

I am trying to learn how to create a theorem like environment from http://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/Theorems.html To keep the code below simple, I am not really defining a new ...
8
votes
1answer
351 views

Weird behavior of ntheorem.

I have the following strange phenomena using ntheorem: I get $\Lambda$ instead of a \box. In other proofs I might get a \box or \Lambda. In the example I end with \[ \] if I use equation instead ...
8
votes
1answer
1k 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 ...
8
votes
2answers
661 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 ...
8
votes
1answer
816 views

Theorem decorations that stay with theorem environment

I am typesetting a document using the memoir documentclass. Currently, my theorems have the following definition (using macros provided by the ntheorem package): % THEOREMS ...
8
votes
2answers
577 views

How do I make a Theorem n followed by a Theorem n' ?

I am writing a paper where I have a stated a theorem, and then a short time later I state another theorem which is equivalent to the first. Is it possible to number them so that the second is a primed ...
7
votes
2answers
127 views

How to specify RULES in main body

I want to write RULES in main body, how to write the correct TeX code that guarantees a little larger space before and after RULES like this.
7
votes
3answers
543 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
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
876 views

How to suppress vertical space between theorem heads and enumitem environments?

How can I suppress vertical space between a theorem head and an enumitem environment? I would like the output to look like version 3 below, but I hope there is an automatical solution without ~ and ...
7
votes
1answer
2k views

Theorem formatting

\theoremstyle{remark} \newtheorem{example}{Example} Then: \begin{example} Some text \end{example} Output is: Example 1. Some text What is the way to automatically obtain without indent: ...
7
votes
3answers
177 views

Numbering Theorems/Definitions together, by section and without section symbol

I am fairly new to LaTeX and I am looking for a particular style: I want to number my theorems/propositions/corollaries/definitions together and by section. For example, Definition 1.1, Theorem 1.2, ...
7
votes
3answers
170 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
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 ...
7
votes
2answers
397 views

change label of a single theorem using ntheorem

My question refers to the minimal example pasted below. I would like to change the title of the second theorem (the one with yyy) to Theorem 7' without affecting the theorem counter. That is, the ...
7
votes
2answers
175 views

Using `environ` to make a list of environments?

In my document I use an amsthm environment called question, which I use to, well, pose questions to myself for later reference. However, they are spread out in the text. I know ntheorem has a ...
7
votes
2answers
159 views

Change definition number in beamer

In a beamer presentation, I need to redefine one definition (the definition numbers have to be same). How can I do that? Here is my code. \documentclass{beamer} \setbeamertemplate{theorems}[ams ...
7
votes
2answers
61 views

Problems with theoremref

I'm having some problems with the theoremref package. Basically, instead of giving me as output something like "Lemma 1.1.1", where "Lemma" is the name of the theorem, it gives me something like "lem ...
7
votes
2answers
89 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
231 views

Incorrect hypothesis counter

The hypotheses counter seems to work incorrectly. All hypotheses are numbered with a 1. What exactly am I doing wrong? I have the following code: \documentclass[12pt]{article} \usepackage{amsthm} ...
7
votes
2answers
126 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
1answer
126 views

How to copy a lemma to appendix without changing its number?

I have a document with a lemma (using amsthm), like so: \begin{lem} \label{mylemma} % ... \end{lem} The proof of this lemma can be found in the appendix (see section \ref{sec:proof_of_mylemma}). ...
7
votes
2answers
109 views

Wrong vertical space in theorem environment closed by an equation

It happens that LaTeX, to fill a page vertically, adds extra spaces around equation environments (and other vertical spaces). Now suppose I have a theorem environment (using amsthm) which ends with an ...
7
votes
2answers
1k views

QED symbol in a custom theorem environment

I have created my own theorem environment like this \newtheoremstyle{mythmstyle}{}{}{}{}{\scshape}{.}{ }{} \theoremstyle{mythmstyle} \newtheorem{mythm}{Theorem} How do I add the QED symbol (the ...
7
votes
1answer
375 views

Typeset Theorems in Upright Fonts for Beamer

I want to typeset my theorems within my presentation in upright fonts. The only way I know is by doing this: \begin{theorem} \textup{Upright Theorem} \end{theorem} When I use article document ...
7
votes
2answers
68 views

Reference-able custom section numbering

I am writing some lecture notes from a class that I have on Monday, Wednesday, and Friday. What I would like to do is organize them by sections defined by the week and the day, e.g. 1M, 1W, 1F, 2M, ...
7
votes
1answer
675 views

Custom proof environment

How to define another proof environment, say, for the "Proof of lemma"? Also, how to make it without the qed box? (I need one with qed box, and another one without qed box.) I'm using amsbook ...
7
votes
1answer
904 views

\textbf inside a lemma

I have defined lemma and use it as follows: \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} ... \begin{lemma} abc_\textbf{indice} \end{lemma} It turns out that the indice ...
7
votes
1answer
230 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. ...
7
votes
1answer
465 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 ...
7
votes
1answer
172 views

How to remove space surrounding a colored theorem box?

This is a follow-up question of Combining spacebelow with shaded parameter in thmtools package. Bug?. How can I get rid of the space above the theorem box? If I comment out the mdframed=... line it ...
7
votes
2answers
579 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} ...
7
votes
1answer
708 views

Fancy box around equation

I am trying to get my equations to show up like: This is my attempt thus far: \documentclass[11pt,fleqn]{book} \usepackage[top=3cm,bottom=3cm,left=3.2cm,right=3.2cm,headsep=10pt,a4paper]{geometry} ...
7
votes
1answer
290 views

Add vertical space before and after framed-theorem environments

I want my theorem-like environments to be framed, as it's an effective way of making them stand out from the main text. According to Gonzalo Medina's answer to the question box around theorem ...
7
votes
1answer
148 views

Multiple lists of theorems with different titles (any TeX, in my case XeLaTeX)

I've found out how to use the thmtools package to make lists of theorems. My questions on this are: How do I change the title, given that \renewcommand{\listoftheoremname}{...} gives a LaTeX ...
7
votes
2answers
90 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 ...
7
votes
1answer
824 views

Is there a \renewtheorem equivalent of \renewcommand, using amsthm and not ntheorem?

Suppose I have a theorem that is defined a certain way, as follows. \newtheorem*{mytheorem}{Foo} And I want to redefine it another way further down in my document, as below. ...
7
votes
1answer
779 views

Cleveref with counters with same name

I am trying to use the cleveref package. I have the following counters defined (hopefully this is the right way to do it!) \newtheorem{thm}{Theorem}[section] \newtheorem{lemma}[thm]{Lemma} ...
7
votes
1answer
167 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} ...
6
votes
2answers
3k views

Spacing before and after with \newtheoremstyle

I want to define my own theorem style for examples. I want them to be numbered the same way as theorems (so Example 2.4 follows Theorem 2.3); I want them to be formatted exactly the same as theorems ...
6
votes
3answers
388 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 ...
6
votes
2answers
119 views

Theorem without counter (any TeX)

I often use theorems on LaTeX and have defined various kinds of them. At times, however, it is best not to define a specific theorem which would otherwise be a once-in-a-long-time usage, as for ...