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

Why is LaTeX giving all of my theorems the same number?

Whenever I try to number my theorems according to the section they are in, they all end up having the same number. I tried the other numbering schemes to see what they do, and the only one that gives ...
8
votes
1answer
217 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
1answer
197 views

How do I adjust the placement of descriptions I've made alongside enumerated statements within a boxed theorem environment?

Basically, what I'd like is to have an elegant command that would enable descriptions (commutativity, associativity, etc.) made alongside enumerated statements to be aligned to the far right side of ...
8
votes
1answer
643 views

Margins for proof environment

The code below is (almost) the proof environment of amsthm: \newenvironment{proof}[1][\proofname]% {% \par\pushQED{\qed}\normalfont\topsep6\p@\@plus6\p@\relax% ...
8
votes
2answers
505 views

References to named theorems

I would like to know how to give theorem type environments names and then how to later reference them using those names. I was able to use this thread to create named theorems. However, this seems ...
8
votes
1answer
205 views

How can I make a custom theorem for a definition?

Looking at the wikibooks article on theorems has me wondering... I'd like to do something, if possible, similar to the default "proof" theorem style, whereby I can add a custom name to each theorem as ...
8
votes
1answer
258 views

List of definitions: how to remove the prefix “Definition”?

I have write definitions in this way (this is a MWE class unatesi is available here): \documentclass[laurea,oneside,12pt,italian]{unatesi} \usepackage{amsthm} \usepackage{thmtools} ...
8
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 ...
8
votes
1answer
757 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
802 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 ...
8
votes
1answer
4k 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
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 ...
8
votes
1answer
389 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 ...
8
votes
2answers
438 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
3k 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
390 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
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} ...
8
votes
1answer
3k 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
360 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
915 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} ...
8
votes
2answers
705 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
876 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 ...
7
votes
2answers
130 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
638 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
3k 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
1k 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
209 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
189 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
465 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
192 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
240 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
78 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
99 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
446 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
1answer
1k views

Best Practices for Using Enumerations Within Theorem Environments

Suppose one has a theorem/proof such as: \begin{theorem} The following are equivalent: \begin{enumerate} \item Statement 1 \item Statement 2 \item Statement 3 \end{enumerate} ...
7
votes
1answer
365 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
3answers
202 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
168 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
142 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
84 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
769 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
1k 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
369 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
190 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
604 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
863 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
597 views

\newmdtheoremenv-environment unnumbered

I would like to have a \newmdtheoremenv environment without any number, like I get it from \newtheorem*. How can I do this? This is my \newmdtheoremenv environment at the moment. ...
7
votes
1answer
118 views

How to change QED sign for theorem classes

I'm writing an article which contains some quite long proofs, some of which include claims with proofs of their own. I dealt with that by adding a claim environment using \newtheorem, but there's a ...