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.

3
votes
1answer
608 views

Theorem numbering

I am trying to number my theorems, corollaries, Lemmas, Propositions, Definitions, Remarks etc. I put the following code: \theoremstyle{theorem} \newtheorem{theorem}{Theorem}[section] \newtheorem{...
19
votes
2answers
19k views

How to rename theorem (or lemma) in Beamer to another language?

I'm Malay user. I want to rename the theorem tag in Beamer. Does anyone know how to do it? When the document class is article or book, I can simply modify the preamble as follows: \newtheorem{theorem}...
13
votes
3answers
7k views

ToC like list of definitions (using theorem environments)

For one of my documents I use these commands to setup my theorem environments with amsthm: \usepackage{xcolor} \usepackage{framed} \colorlet{shadecolor}{lightgray!25} \newtheoremstyle{definitionsty}{...
12
votes
2answers
4k 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 ...
14
votes
3answers
11k views

amsthm: \newtheoremstyle, headspace, \mbox{}, and lists

Q: How do I define a newtheoremstyle which will start the theorem text on a newline after the header even when the theorem text starts with a list, e.g., enumerate? If there's no way of doing this, ...
13
votes
4answers
10k views

Skipping line after “Proof” in proof environment

Like the OP in Is it possible to skip the first line in a theorem environment?, I would like to be able to skip a line after the word "Proof" so that the first line of the proof is actually part of ...
8
votes
1answer
2k views

Shaded theorems (thmtools) spanning pages

When the thmtools package is used to create theorem environments with a shaded background, it does not allow separate theorems to span more than one page. This is a rather severe problem if the ...
7
votes
4answers
6k views

Custom list of hypotheses in table of contents format

The Context: I am writing a multi-chapter scientific report with many numbered hypotheses. I have created a custom hypothesis environment in the preamble: \newtheorem{hypothesis}{Hypothesis}[chapter] ...
8
votes
1answer
494 views

Restate theorem in separate file

I state a theorem in the main body of a document and prove it in the appendix. I use thmtools's restatable environment to restate the theorem there. However, I now need to have my appendix in a ...
45
votes
6answers
22k views

Pushing \qed to the right within a displayed formula

In my own custom theorem environment, I'm using the \qed command to create a white box. This works wonderfully when the theorem ends with a regular paragraph -- the box is pushed to the right where it ...
40
votes
2answers
113k views

Solid black box in the proof environment

I am using \documentclass[12pt]{article} \usepackage{amsmath} \usepackage{amssymb} \usepackage{amsthm} \begin{document} \begin{proof} A = B \end{proof} \end{document} and an empty square box ...
18
votes
5answers
2k views

How to put a star (or other symbol) in sections that are “special” (difficult, optional, etc)?

I'm currently writing a book, and I'd like some of the sections to be clearly marked as "difficult" or "optional". Not only sections, but also exercises (I'm using the exercise package) and theorems ...
39
votes
1answer
21k views

How to change the word “Proof” in the proof environment?

I want to change the word "Proof" into "Solution". Of course the following works. \begin{proof}[Solution] \end{proof} But it's quite cumbersome to add this additional [Solution] every time. Is there ...
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 ...
26
votes
3answers
11k views

Citing inside theorem header

How do I create something like this without getting any errors? \begin{thm}[\cite[page 10]{ABC2011}] ... \end{thm} I tried putting various things into {...} brackets, but not eliminating any errors. ...
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 ...
16
votes
6answers
11k views

How to remove the “.” in the proof environment?

Using amsthm, is there a possibility to remove the dot when typing \begin{proof}...\end{proof}? This would be typeset as "Proof." If you change your proofname \begin{proof}[Proof:]...\end{proof} you ...
13
votes
3answers
935 views

Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs)

Does anyone know of any packages that support this style of writing proofs? The only things that I've found are: tex-ewd, a bunch of plain TeX macros on CTAN written specifically with Dijkstra in ...
12
votes
2answers
7k views

Common, per-section numbering of theorems, lemmas etc.

I use amsthm for my theorems, lemmas etc. I'd like their numbering to look like that: Theorem 1.1.1 Lemma 1.1.2 Definition 1.1.3 Theorem 1.2.1 Definition 1.2.2 Corollary 1.2.3 Theorem 2.1.1 etc. To ...
7
votes
2answers
764 views

How do I make all the theorem-alike environments have an ending symbol?

I have a question about making an ending symbol. It is a LaTex-default that every proof environment has an ending symbol. I want to make every theorem-alike environment such as the example ...
6
votes
1answer
1k views

How to make “claim” environments look like “theorem” environment?

I am using LyX 2.0.5 with document class article and 'Theorems (AMS)' in the modules. From what I understand, the claim environment copies its style from the remark environment. I'd like it to copy ...
21
votes
2answers
19k 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 ...
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} \...
6
votes
2answers
420 views

Clever references to theorem lists

I would like an automatic solution to referencing theorem environments containing lists using cleveref. In other words, if Corollary 1.2 contains parts (a) and (b), I want \cref to output “Corollary 1....
5
votes
2answers
900 views

How to configure theorems depending on the document class?

I would like to have \newtheorem{teo}{Teorema}[chapter] if the book class is loaded but \newtheorem{teo}{Teorema}[section] if the article class is loaded. Can I do this with some sort of ...
5
votes
1answer
1k views

Easy-to-use reference-able environment for restating theorem-like environments?

This question is a development of the same issue as this one; following my own answer and later comment there, I decided it deserves a spin-off. I would like to define an environment for restating ...
4
votes
3answers
926 views

Theorem environment with numbers on the left

I am trying to construct a theorem environment which roughly looks like this: 1.1 Theorem Statement of the theorem. Here is some extra text so you can see how the theorem body text should ...
3
votes
1answer
1k views

Theorem style with name as argument

Is there some way to get a theorem type which will make a theorem with the name passed as a parameter? In other words, is there a way to define "named" such that \begin{named}[NAME] text \end{named} ...
11
votes
1answer
938 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 ...
3
votes
1answer
139 views

Problem with tcolorbox package

I'm using the package tcolorboxwith the theorems library and it's giving me the following problem: \documentclass[12pt,letterpaper]{article} \usepackage[utf8]{inputenc} \usepackage{amsmath} \...
2
votes
1answer
2k views

Cite a theorem by its name and number

I don't know if this is possible to do in Latex, but here's what I'd like to do. I want to cite a theorem using its label, but what should appear is both its theorem number and its name (the text in ...
6
votes
2answers
580 views

Spacing for \listtheorems in ntheorem

Q: How do I get my theorem number and name to not overlap each other in my list of theorems? This is basically the same question as "Spacing control for listtheorems". But the solutions mentioned ...
5
votes
3answers
569 views

References to lists in theorem-like environments/writing # symbol to files

A little warning in advance: This will be quite lenghty. I spent quite some time over the last few days trying to solve the following problem: I'm typesetting mathematical lecture notes and have used ...
5
votes
1answer
734 views

cleveref and amsthm — incorrect environment name

I have theorem environments that have the same theoremstyle which I define through amsthm. I want them all to share the same counter. This way, a lemma that follows theorem 1.2.6 will have the number ...
4
votes
1answer
607 views

Avoid parentheses around optional header material in theorem environment

I would like to get rid of the around the optinal header material in my theorem environment. Here is a MWE \documentclass{beamer} \begin{document} \setbeamertemplate{theorems}[numbered] \newtheorem{...
3
votes
1answer
404 views

thmbox color bar

I would like to ask if anyone knows if it is possible to change the bar color in the thmbox package. One can change the thickness of the bar but not the color. \usepackage{thmbox} \newtheorem[style=M,...
2
votes
1answer
225 views

How use cleveref to get theorem-like name and list item number?

How do I need modify this source so that: The first output line of Chapter 1, currently "See ?? 1, below", becomes instead "See Problem 2.1, below" The first output line of Chapter 2, currently "...
1
vote
1answer
821 views

How to suppress vertical space between proof environment heads and itemize environments?

The user 'egreg' recently helped me to suppress vertical space between theorem heads and enumitem environments (such as itemize; see the link below). I now have a similar problem: When a proof ...
1
vote
1answer
715 views

Customizing list of theorems

Is it possible to avoid brackets surrounding the name of a theorem in the \listoftheorems from package thmtools? And if so, how do I do that?
37
votes
5answers
29k views

Changing style of Proof

I'm using the \begin{proof} of the amsthm package. And I want to change the style of the Proof word that is added in the beginning. By default it is italic, I want to make it bold. How can I do it?
20
votes
3answers
17k views

Proof environment - line break after the “Proof.”

I want to make the proof environment in amsthm package to auto add a line break right after the "Proof." I tried the following code, which also removed the QED sign, but it doesn't work: No linebreak ...
16
votes
2answers
4k views

Wrong spacing before theorem environment (amsthm)

I am using the amsthm package to have environment. I also use \usepackage[onehalfspacing]{setspace} to have 1.5 line spacing. However, when I use the the theorem environment, the spacing before is ...
8
votes
3answers
227 views

How to make the enumeration of theorem-like environments indipendent from cross-referencing in a particular way

I'm writing a mathematical paper, and right now I'm using \newtheorem{theorem}{Theorem}[section] to enumerate theorems, propositions, etc. In this way, every statement shows the number of the ...
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 ...
38
votes
5answers
6k views

How to prevent paragraph breaks after theorem environments?

By default, the list environments (such as itemize) have the nice property that if you add a blank line after it, it starts a new paragraph, and if you don't, the paragraph continues. So The ...
19
votes
2answers
29k views

Title of the theorem

in my paper the text inside theorem is italic while the word Theorem 1 is bold and not italic. I would like to have a title of the theorem also not italic. The example is here: Theorem 1. (The title) ...
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 ...
8
votes
1answer
3k 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: Example ...
15
votes
3answers
8k views

Theorem environment with hanging indentation

I would like to define a theorem environment with custom layout. In particular, I want the body of the theorem to be indented, like this Text body. Text body. Text body. Theorem 1 (Pythagoras). ...
13
votes
3answers
3k views

Theorem name and number in margin, note in text

I'm using thmtools to make ultra-fancy theorems. I would like the Theorem name and number (e.g., "Theorem 1") to jut out into the left margin of the text, and the note (e.g., "The Fundamental Theorem ...