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
17
votes
1answer
23k views

Can I disable italics in the body text of a theorem without amsthm/ntheorem?

I'm submitting a paper and am required to use a provided document class which defines its own theorem environments, so I can't use packages like amsthm or ntheorem. The class doesn't define a '...
17
votes
2answers
1k views

How to create *local* labels/refs in LaTeX?

Concise question: Is there any way to limit the scope in which a \label is visible to a \ref? Motivation: My current goal is to create a rather large document, containing many exercises and their ...
17
votes
1answer
30k views

Using amsthm but still getting “Environment theorem undefined”

I'm trying to write up all my university theorems and I cant get the theorem environment to work. Here is a mini example of what I'm trying to do. \documentclass[a4paper,12pt]{article} \usepackage[...
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 ...
16
votes
5answers
3k views

Nice formatting for theorems

I'm writing an article with some theorems and I would like to use special formatting for the theorems - my idea is putting a grey line in the side of the theorem. Can you please show me how to do this?...
16
votes
3answers
10k 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 ...
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 ...
16
votes
2answers
7k views

End of theorem marker placement

I have a question about marker placement after theorems. I am using a style file provided by Oxford University Press, which I am not used to. It is available here: http://www.oxfordjournals.org/...
16
votes
2answers
2k 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 ...
15
votes
3answers
772 views

What style/font is this?

Does anyone know how to create numbering for Theorem/lemma/… like this one in the image below, also any idea about the font name?
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). ...
15
votes
1answer
5k 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 ...
15
votes
4answers
960 views

How do I use the boxed theorem name as a QED symbol

I'm wondering if there's a relatively simple way to achieve a result similar to the following: In particular, I'd like to be able to assign names and/or numbers to theorems/lemmas/propositions and to ...
15
votes
1answer
3k views

How do I remove parentheses from theorem optional argument?

This is a MWE: \documentclass[12pt]{article} \usepackage{amsfonts, amsthm, amsmath, amssymb} \theoremstyle{definition} \newtheorem{Theorem}{Theorem}[section] \newtheorem*{Pythagorean theorem}{...
14
votes
3answers
3k views

Numbering theorem-like environments

I would like all my theorem-like environments (theorem, example, etc.) to be numbered but such that the number appears before the environment's name, more or less like this: 1. Theorem 2. Example ...
14
votes
5answers
5k views

Is it possible to use the enumerate/itemize environment within the proof/remark environment in a nice way?

I wish to use the enumerate/itemize environment within the proof/remark environment, but when I do this the first number/bullet-point is on the same line as the word 'Remark'/'Proof' indented to the ...
14
votes
2answers
3k views

Difference between \begin{theorem}…\end{theorem} and {\theorem …}

I see that both attempts to display a theorem in the following code generates similar output. \documentclass{article} \usepackage{amsthm} \newtheorem{theorem}{Theorem} \begin{document} \begin{...
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, ...
14
votes
2answers
6k 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. \newtheorem*{mytheorem}{...
13
votes
2answers
32k views

Theorem environment - line break after label [duplicate]

Possible Duplicate: ntheorem environment with indentation Skipping line after “Proof” in proof environment \begin{theorem}[label] The theorem text. \end{theorem} I want to have ...
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 ...
13
votes
2answers
914 views

Breaking a theorem between pages

I currently have this custom myexample theorem environment that is working absolutely great. \newtheoremstyle{myexamplestyle}{}{}{}{}{\bfseries}{.}{ }{} \theoremstyle{myexamplestyle}\newtheorem{...
13
votes
2answers
2k views

Different colorcoded theorems

I'm using this code to frame my theorems: \documentclass[a4paper,12pt]{scrreprt} \usepackage[table]{xcolor} \usepackage{latexsym} \usepackage{amsmath} \usepackage[amsmath,thmmarks,framed]{ntheorem} ...
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}{...
13
votes
1answer
26k views

Not numbering Remarks

If I have the following \newtheorem{remark}{Remark} I will obtain Remark 1, Remark 2 and so on. May I know how to remove the numbering in Remark? Like I just want the word "Remark" and not the ...
13
votes
3answers
947 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 ...
13
votes
1answer
1k views

Theorem with separate tikz environments for header and body

My initial question: I'm writing my lecture notes in LaTeX and used some customized theorem environments with amsthm so far. Now I wanted to redesign those theorems with help of tikzpicture. That's ...
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 ...
13
votes
4answers
4k 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} ...
13
votes
1answer
20k views

Consecutive number of theorems, propositions, etc

I'm using \usepackage{amsthm} \newtheorem{theorem}{Theorem} \newtheorem{proposition}{Proposition} The numberings of Theorem and Proposition are not consecutive (I get Theorem 1 followed by ...
13
votes
1answer
546 views

Is there an “endproof” package?

You may be familiar with the endfloat package, which moves all figures and tables to the end of your document. Is there a similar package for achieving that kind of results with proof environments (...
13
votes
1answer
3k views

using a restatable before it is stated

This question is related to the question at Recalling a theorem, which uses the thmtools and thm-restate packages and the restatable environment to define a theorem that can be re-stated later on. Is ...
13
votes
2answers
521 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} \declaretheorem{...
12
votes
2answers
3k views

How do I produce Theorems and equations which are numbered by hand?

I'd like to be able to write a LaTex document with numbered theorems and equations, but I would like not to have them numbered automatically, but rather put in by hand. Ideally, I'd like to be able ...
12
votes
2answers
562 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
3answers
10k views

Resetting theorem counters: \section and (missing) \subsection

Suppose I define a new theorem "Theorem" and declare that its counter should be reset whenever the subsection counter is incremented or reset: \newtheorem{theorem}{Theorem}[subsection] At some point ...
12
votes
1answer
8k views

how to enumerate theorems using letters?

how to enumerate theorems using letters?
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 ...
12
votes
1answer
3k views

Change only the ending with renewenvironment

I have a theorem environment I've made called "ex" (using the theoremstyle "definition"), which I use for examples in a book document class. I like that I can number the examples, but I want a proof ...
12
votes
1answer
644 views

beamer: \nameref calls the name of the section instead of the name of the theorem environment

In my LaTeX documents, I am playing with a lot of axioms which I write under a theorem environment, while using the following math packages: \usepackage{amsmath} \usepackage{amsfonts} \usepackage{...
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 ...
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
6answers
4k views

How to split an example into two parts?

I am trying to have an example (using the theorem environent in amsmath) split in two parts: Example 1 ... Some more discussion Example 1 (continued) ... What is the best way to do this ? The ...
11
votes
3answers
2k views

tombstones and beer mugs

I'm trying to find an alternative to the standard tombstone qed symbol for more informal papers. I initially thought of an empty square with Pub written inside, but what would actually be better would ...
11
votes
1answer
3k views

Theorem Name/Numbering in Margin

I have seen the previous discussion on this same issue before (see Theorem name and number in margin, note in text), however this did not resolve anything as clearly as I had hoped. Basically, I ...
11
votes
2answers
8k views

How do you number theorems but not definitions?

I am using LaTeX theorem style where I have at the top: \newtheorem{theorem}{Theorem} \newtheorem{definition}{Definition} \newtheorem{lemma}{Lemma} and then I use \begin{(theorem|definition|lemma)}...
11
votes
2answers
958 views

Intelligently Numbering “remarks” only when multiple are made

Problem. I am using the amsthm package, and have remarks after theorems. If there is only one remark between two theorems, the remark should not be numbered. If there are multiple remarks between ...
11
votes
4answers
2k 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} \...
11
votes
1answer
700 views

Enumerate environments within theorems

How to create an environment for enumerating that allows one to identify the enumeration with the theorem environment? Example: Definition 1.1 Let X be a set. An algebra over X is a collection C of ...
11
votes
1answer
16k views

Command \* already defined … see p.192 of the manual

My code had: \newtheorem*{theI}{Thesis I} And it gives me the error: Command \* already defined. Or name \end... illegal, see p.192 of the manual. 1.16 \newtheorem*{theI}{ ...