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.

Filter by
Sorted by
Tagged with
11
votes
1answer
944 views

How do I get the numbers for theorems, lemmas, examples, etc. before the type?

I am using the article document class with amsthm. I would like number the theorems/corollaries/examples, etc., consecutively as follows: 1.1 Theorem 1.2 Example 1.3 Example 1.4 ...
11
votes
2answers
3k 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
2answers
288 views

Retrieving the title of a theorem, e.g. “My name” from “Lemma 1 (My name)”

How can I retrieve the name of a theorem? I know how to refer to theorems using labels and take the responsibility of giving the title "Theorem" or "Lemma" myself. I also know that packages such as ...
11
votes
1answer
2k views

Move QED symbol to the left, i.e. at the end of the sentence

I want to make the qed symbol at the end of a proof appear at the end of the last sentence, not at the far right of the same line. Would like to do this the simplest way possible. All I can find ...
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 \...
11
votes
1answer
893 views

How to number floats in sequence with theorems?

I like having all my theorems, examples, defintions etc. numbered in a single sequence. Is it possible to have LaTeX number my floating figures in sequence with them as well? I.e.: Theorem 1.1 A ...
11
votes
1answer
747 views

A problem with thmtools

I updated my TeXLive yesterday and thmtools is being problematic... Running pdflatex on the following minimal example \documentclass{article} \usepackage{thmtools} \begin{document} Hello \end{...
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
2k views

Counter for tcolorbox

I would like to create a boxes for theorem definition proposition to looks like the following image ( but with counter for each box ) : I tired with tcolorbox Here's my code: %this is created ...
10
votes
3answers
2k views

Enumerating inside a proposition and inside a proof

I have one problem with enumerating. The symbols for items look differently when the enumerating is done ''inside'' propositions from the enumerating done ''inside'' a proof. The code \...
10
votes
1answer
5k views

`parskip` removes spacing before `amsthm` theorem environments?

I have a spacing problem. Whenever I include a theorem environment, \begin{theorem}\end{theorem}, the theorem appears very close to the previous line. The spacing is much less than the normal spacing ...
10
votes
1answer
1k views

Change “Theorem” to “Věta” in beamer

I tried to use \uselanguage{Czech}\languagepath{Czech} as suggested in Babel (French) does not translate the theorem environment in Beamer class, but I still get "Theorem" instead of "Věta" for my ...
10
votes
1answer
2k views

Suggestions for nested proofs

I would like to write down my lecture notes. The proofs of the theorems in this lecture are usually really big. It usually looks like this: Theorem 1: Here comes the statement of the Theorem ...
10
votes
1answer
2k 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}{...
10
votes
1answer
372 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} \newtheorem{defin}...
10
votes
2answers
4k views

How can I get a line break in a theorem headline?

I have a theorem title, which is longer then the page width. How do I get the title in two lines? \begin{theorem}[this title is to long for one line] the theorem \end{theorem}
10
votes
2answers
1k views

autoref names messed up when defining certain ntheorem theoremstyles

I define a theorem style pretty innocuously, to get things looking a bit more like amsthm theorems. But - my \autoref{}s become messed up with optional arguments of theorem environments. \...
10
votes
1answer
2k 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} \...
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{...
10
votes
1answer
5k views

Remove vertical space around theorems

I'm very new to LaTeX (a couple of days ago I didn't know how to use \newtheorem) and was hoping someone could help me with the following problem. If I'm using \usepackage{amsthm}, how do I obtain ...
10
votes
3answers
320 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 ...
10
votes
2answers
5k views

placement of QED symbol on numbered equation line

This question is both on LaTeX and on mathematics writing style; I hope that's still apropriate here. I have a proof that ends with a (right) numbered equation, and I'm pondering about where to put ...
10
votes
1answer
7k 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 ...
10
votes
1answer
2k views

How to create a framed proof attached to a theorem?

I am trying to create a customized "proof" environment attached to a theorem. It looks like this: So there is first the theorem, and then a gray bar starts on the inner margin. It ends, when the ...
9
votes
2answers
3k views

theorems and definitions boxes (numbering should be chapter-wise)

I want to write both the theorems and definitions (numbering should be chapter-wise, like 2.1, 2.2 etc) in the form of the attached jpg file. EDIT: In the upper box only the title will come and ...
9
votes
2answers
17k views

New Theorem Style

I'm pretty new to LaTeX. And I don't really understand the following code, it is merely a pasted template from wikipedia. I'm trying to make a simple theorem style which is identical to the normal ...
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
4answers
2k 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, ...
9
votes
1answer
6k views

Redefining a theorem counter

I have a document with a lot of lemmas and theorems. In the main part of the document there are sections and subsections, so I defined \newtheorem{lem}{Lemma}[subsection] to number the lemmas ...
9
votes
3answers
3k views

How to remove brackets from the optional title in amsthm?

This is a follow-up question of this question. when using \begin{theorem}[Open mapping]...\end{theorem}, I received Is it possible to change the format into "Theorem: Open Mapping."(boldface)? ...
9
votes
2answers
1k 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 ...
9
votes
2answers
178 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 ...
9
votes
1answer
3k views

Parts numbering in Proofs

I am using proof environment from amsthm to type proofs. Some proofs are long, so it would be nice to split them into numbered parts. I have defined new theorem environment called proofpart for that ...
9
votes
1answer
695 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 ...
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

Numbering a theorem with a letter but not changing numbering of other theorems

I am wondering how to label a theorem in LaTeX using a letter but not changing the numbering of the other theorems. For example, I want Theorem 1.3 to be Theorem A and Theorem 1.4 to remain as Theorem ...
9
votes
1answer
1k 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% \trivlist\item[\hskip\labelsep\bfseries#...
9
votes
3answers
4k 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 ...
9
votes
2answers
1k 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 ...
9
votes
1answer
3k views

wrapfigure in theorem-like environment

The following code does not create a wrapfigure within the thm environment. Is that because the latter is a list? \documentclass{book} \usepackage{amsthm} \usepackage{wrapfig} \theoremstyle{plain} \...
9
votes
1answer
1k views

How to customise (e.g. make thicker) the end-proof symbol in Beamer?

I would like to change the symbol for the end of proofs (the square) used in Beamer. It is quite thin, not very visible in some colorthemes. How can I have a thicker border and still in the structure ...
9
votes
1answer
881 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 ...
9
votes
1answer
3k 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 detail:...
9
votes
1answer
1k views

Remark number in italics

When compiling \documentclass{article} \usepackage{amsthm} \theoremstyle{definition} \newtheorem{definition}{Definition}[section] \theoremstyle{remark} \newtheorem{remark}{Remark} \begin{document}...
9
votes
1answer
9k views

Theorem/Definition/Lemma/etc independent numbering in Lyx

I am using the Koma-script book class in Lyx. By default, theorems, definitions, lemmas, and so on, follow the same numbering. So after "Theorem 1" comes "Definition 2", then "Lemma 3", and so on, ...
9
votes
2answers
609 views

How to add theorem number by the \qed mark at the end of proof environment

I use amsthm. All theorem-like environments use a common counter. As I have some very long proofs I want to add the theorem number to which the proof refers at the end of proof just next to the box/...
9
votes
1answer
2k views

Fancy Theorem Environment and Colors

I'm trying to make a boxed theorem environment with colors. I thought I had done it, but I was mistaken--lists were the wrong colors. In the picture above, I would like the "list" to be the same ...
9
votes
1answer
597 views

Theorems and labels

Let me give a bit of background before the actual questions. I took a look at latex.ltx to see how labels are handled. I found that: \def\label#1{\@bsphack \protected@write\@auxout{}% {\...
9
votes
1answer
701 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
2k 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. \newmdtheoremenv[...