A package that facilitates the kind of theorem setup typically needed in American Mathematical Society publications. The package offers the theorem setup of the AMS document classes (amsart, amsbook, etc.) encapsulated in LaTeX package form so that it can be used with other document classes.

learn more… | top users | synonyms

49
votes
8answers
11k views

How do I repeat a theorem number?

Often in my papers I want to mention theorems in the introduction that are introduced in more detail and proved in a later section. I'd like to include the statement of these theorems twice over, ...
27
votes
1answer
5k views

Problem with qedhere

In a paper I'm writing, I end a proof with a displayed equation that has some cases in it. The relevant code looks something like the following: \[f(x) = \begin{cases} 2x & \text{if $x<0$}\ ...
26
votes
1answer
8k views

amsthm: what are the newtheoremstyle parameters for the default styles?

The package amsthm contains the predefined theorem styles plain, definition and remark which you can employ using \theoremstyle before your \newtheorem. You can also create new theorem styles like ...
22
votes
4answers
5k views

How to make the optional title of a theorem bold with amsthm?

I use the code mentioned in Title of the theorem: \begin{theorem}[The title] Some statement \end{theorem} However with amsthm the optional title -- above: "The title" -- is neither bold nor italic, ...
21
votes
5answers
14k 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?
15
votes
3answers
10k views

How to change the way theorems are displayed?

I am in the process of writing a large document containing some theorems, lemma, and propositions. Currently, I am using packages amsmath and amsthm. I defined my own environment for theorems by ...
14
votes
3answers
1k views

Cleveref and named theorems

Is it possible with Cleverref to reference not only the number of an environment but the "name" (the thing that is passed to it in square brackets? In the following example I want to replace the line ...
14
votes
1answer
267 views

Why do AMS document classes incorporate amsthm rather than loading it?

Why do AMS document classes incorporate the amsthm package, rather than loading it using the usual \RequirePackage mechanism the way they load amsmath and amsfonts? The document classes even ...
13
votes
1answer
4k views

Including end mark in definitions and examples (using amsthm)

I am using the amsthm package, and I have this in the preamble: \theoremstyle{definition} \newtheorem{definition}{Definition}[chapter] \newtheorem{example}[definition]{Example} \theoremstyle{plain} ...
12
votes
6answers
5k 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 ...
12
votes
1answer
4k 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 ...
12
votes
3answers
2k 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 ...
11
votes
2answers
281 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 ...
11
votes
3answers
7k 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, ...
11
votes
2answers
2k 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
1answer
902 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
342 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 ...
10
votes
2answers
197 views

Continuance of environment

I am using an continuous example in my text, but I don't know how to do define the corresponding nice environment. I am using the amsmath and ntheorem package and defined my own example-environment: ...
10
votes
3answers
4k 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 ...
10
votes
1answer
2k 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 ...
10
votes
4answers
3k views

\qed or \qedhere at the end of split environment

While I was trying to improve my latest document with respect to its \qed symbols at the end of amsthm's proof environment i came across an interesting point. Assume the proof ends with some formula, ...
10
votes
1answer
207 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
2answers
1k 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. ...
9
votes
2answers
4k views

How do I get rid of particular pdftex warning message?

Here is a minimal example that showcases my problem: \documentclass{article} \usepackage{amsthm} \usepackage{hyperref} \usepackage{cleveref} \newtheorem{thm}{Theorem} \newtheorem{lem}[thm]{Lemma} ...
9
votes
3answers
429 views

I want the QED symbol to be 1 line lower at the end of proof

Just as my title says, I would prefer to have my qed symbol to be 1 line lower than the last line of my proof. By default its on the same line and aligned to the right. How can I achieve this? ...
9
votes
2answers
2k 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 ...
9
votes
1answer
1k 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 ...
9
votes
1answer
2k 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. ...
9
votes
1answer
505 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 ...
8
votes
3answers
393 views

How to draw a horizontal line at the end of proofs?

How can I draw a horizontal line at the end of proofs? I use \begin{proof}....\end{proof}. I use amsthm package without any modification.
8
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 ...
8
votes
3answers
518 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 ...
8
votes
2answers
611 views

How to replace the “.” with “:” in the proof environment?

I have seen a similar post here How to remove the "." in the proof environment?. But I don't know how I can modify the answer to replace . with : by using etoolbox.
8
votes
2answers
503 views

amsthm with shared counters messes up autoref references

When I define amsthm theorem environments with shared counters, autoref messes up the names of the references. For example, in the output below, we should have "Definition 2" instead of "Theorem 2". ...
8
votes
2answers
188 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 ...
8
votes
1answer
812 views

hide proof environment for restructuring

I am writing my thesis, and i am in restructuring phase - sorting theorems where they should belong thematically. And it would be helpful to have all the proofs hidden so i am not laden with the ...
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
625 views

Alternative Enumeration Environment

I have a theorem which lists a bunch of properties, and then I prove them one-by-one. Because the proofs are long, it looks awkward when every line is automatically indented by the enumerate ...
8
votes
1answer
407 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 ...
8
votes
1answer
152 views

Referencing unnumbered theorems

I would like to reference named (but unnumbered theorems) with a hyperlink. I have a solution which I consider at least a semi-hack: \documentclass{amsart} \usepackage[colorlinks=true]{hyperref} ...
8
votes
1answer
148 views

Remove Indentation of Theorems

I am working with amstheorem and amsbook, and I'm trying to remove the indentation before the numbers of theorems so that they are aligned exactly to the left. Is there any way to do this? In ...
8
votes
1answer
349 views

Tombstone misplaced with `multline*` and `\qedhere`

It looks like the end-of-proof symbol is misaligned if multline* and \qedhere are used. Or am I just using them wrong? \documentclass{article} \usepackage{amsthm,amsmath} \begin{document} ...
7
votes
3answers
2k 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
1answer
1k 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
3answers
312 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
752 views

amsthm: Theorems, Lemmas numbered backwards

What I want \newtheorem{thm}{Theorem} \begin{thm} A \end{thm} \begin{thm} B \end{thm} \begin{thm} C \end{thm} Ends up generating Theorem 1 A. Theorem 2 B. Theorem 3 C. What I want instead: ...
7
votes
2answers
99 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
901 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
7k views

pdfTeX warning: destination with same identifier has been already used, duplicate ignored (weird behavior)

Here is a minimal example: \documentclass{amsart} \usepackage{amsthm} \usepackage[pdftex]{hyperref} \newtheoremstyle{myexercise}{\baselineskip}{\baselineskip}{}{}{\bfseries}{.}{ ...
7
votes
1answer
190 views

Creating an example environment structured exactly like amsthm's proof environment

I want to create an environment for examples that is structured exactly like the \begin{proof}...\end{proof} environment, i.e. starting with an italic "Example.", continuing in the same line and ...