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

1
vote
1answer
49 views

Custom QED Alignment with thmtools

I am trying to create a custom theorem format using the thmtools package. However, I am running into problems with the alignment of the QED symbol. When I end the theorem with normal text, it placed ...
2
votes
1answer
146 views

How to get QED symbol in `amsthm`?

I am trying to get QED symbol in amsthm. I use $\hfill \square$, but I get a slightly different square: The one on the right is the QED symbol of amsmath.
0
votes
1answer
50 views

Recall a theorem in a different section of a chapter

I am aware that this question has been asked before and I did refer to the previous answers given unfortunately I keep getting errors when I compile. Here's my minimum preamble \usepackage{...
1
vote
2answers
56 views

How can we force one line proof environment to stick to its associated theorem environment?

In my LaTeX document, some of the proofs are one-liners: \documentclass[letterpaper]{article} \usepackage{amsmath} \usepackage{amsthm} \usepackage{lipsum} \theoremstyle{plain} \newtheorem{theorem}{...
2
votes
1answer
49 views

Auto-generating labels for theorems

I'm using package amsthm to define a "Definition" environment as follows: \theoremstyle{definition} \newtheorem{definition}{Definition} In brackets, a name for the definition is supplied: \begin{...
2
votes
1answer
59 views

Special Characters in amsmath (specifically in newtheorem)

I'm trying to define: \newtheorem{defi}{Definició} but an error keeps showing up: l.24 \clearpage [1] (./Chapters/2a_part.tex ! Argument of \UTFviii@four@octets has an extra }. &...
4
votes
2answers
74 views

Reset counter at beginning of proof

My goal is to get a new claim environment which automatically numbers. This is fine - I can make a counter, define a claim environment and claimproof environment which number automatically, and this ...
2
votes
1answer
50 views

How do I vertically align a theorem environment at the top?

The following code renders the picture below. \documentclass[oneside,12pt]{book} \usepackage[a4paper]{geometry} \usepackage{microtype} \usepackage[T1]{fontenc} \usepackage{enumitem} \usepackage{...
4
votes
2answers
58 views

Zeroing theorem number after each section

I would like to call \setcounter{theorem}{0} after each \section no matter if \section{something} or \section*{something} is called. How can I do that?
2
votes
1answer
31 views

Removing the extra information at a definition? (thmtools&amsthm)

I noticed that the list of theorems doesn't make much sense for definitions because what I get basically is just 1.5 Def etc. which doesn't convey any information. Hence I added the extra information ...
2
votes
1answer
92 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 ...
3
votes
1answer
126 views

XeLaTeX + polyglossia + Russian or Greek = page number in italics

Consider the following example: \documentclass{article} \usepackage{polyglossia} \setdefaultlanguage{russian} \setmainfont{CMU Serif} \begin{document} \itshape Text. \end{document} ...
2
votes
1answer
63 views

Flexibly start a new page for proof environment

I would like to redefine my proof environment so that if the content of the proof environment is only, say, 3 lines or fewer, then the entire proof environment will just start on a new page. Here is a ...
2
votes
1answer
68 views

floatflt vs amsthm

I'm trying to use floatflt (or one of the other packages that gives floating figures in the margin) with amsthm, and ran in to the issue that the AMS theorem-like environments are defined using ...
3
votes
1answer
86 views

Extra brackets appearing in styled theorem in beamer

Here is my code: \documentclass[slidescentered]{beamer} \usepackage{amsthm,thmtools,xparse} \makeatletter \newif\if@namespace\@namespacefalse \newcommand{\contrel}[2]{ \if@namespace Continua da \...
3
votes
1answer
40 views

Hide indented amsthm environment using comment package

I use amsthm to define a "Solution" environment. I want to be able to hide it. Following this comment I tried using the comment package: \documentclass{article} \usepackage{amsthm} \newtheorem*{...
1
vote
1answer
148 views

How to typeset a proof via structural induction

Structural induction differs from "mathmatical" induction in the number of cases: While mathmatical induction requires exactly two cases, structural induction may require many more. A proof via ...
1
vote
1answer
163 views

Can I eliminate the dot after Theorem in amsthm?

Instead of 1 Theorem. I want to write 1 Theorem in front of the first theorem and analogously in front of succeeding theorems. How can I get rid of the dot? Here is a MWE: \documentclass{article} \...
2
votes
2answers
224 views

Can I change the dot to a colon after Proof in amsthm?

I want to write Proof: in front of a proof instead of Proof. How may I achieve this? Here is a MWE for the set up I have now: \documentclass{article} \usepackage{amsthm} \begin{document} \begin{...
9
votes
1answer
77 views

Remark number in italics

When compiling \documentclass{article} \usepackage{amsthm} \theoremstyle{definition} \newtheorem{definition}{Definition}[section] \theoremstyle{remark} \newtheorem{remark}{Remark} \begin{document}...
1
vote
0answers
25 views

Extra line being inserted after enumerate or math display before qed symbol [duplicate]

I am using thmtools and amsthm to create custom theorem environments with custom qed symbols, like so: \declaretheoremstyle[ spacebelow=2\topsep, spaceabove=2\topsep, headfont=\normalfont\bfseries, ...
3
votes
1answer
137 views

amsthm with \usepackage[french]{babel}

When I use amsthm with \usepackage[french]{babel}, I got Proof becoming Démonstration. In general, it is good, but in a special case of mine, I need it to be Proof. Could you help me to get this? \...
4
votes
0answers
155 views

Creating a List of Theorems divided into Subsections with amsthm

I want to modify the listoftheorems command so that at the end of each chapter, I can give a list of the theorems or definitions within the last chapter, and I want these divided by section (it should ...
7
votes
1answer
171 views

A question on the proof environment of amsthm

I would like to alternate between two proof environments under the amsthm package, e.g. distinguished between \begin{proof1} ... \end{proof1} and \begin{proof2} ... \end{proof2}. In these I want to ...
2
votes
1answer
402 views

A question on how to change the qed-symbol of amsthm

I am using the amsthm package and get a blank square like $\Square$ at the end of proofs. How can I redefine to get the black Halmos tombstone $\Blacksquare$ instead? I want the symbol to be right ...
5
votes
3answers
171 views

How to set \qedhere properly within “alignat*” environment?

The last part of my proof is formatted in an alignat* environment. How do I make \qedhere appear correctly? The naive approach (as you would do with align*): \documentclass{article} \usepackage{...
2
votes
1answer
131 views

Combining enumerate and align works in theorem environment, but not outside the theorem environment

I was using MWE 1 (which worked fine), but now I want to get rid of the theorem environment (MWE 2). However, that does not work and I get the following error. Any idea how I can make MWE 2 work? ...
1
vote
0answers
64 views

Option thref of package ntheorem causes equation numbering problem with amsmath's split environment

See the MWE first: \documentclass{article} \usepackage{amsmath} \usepackage[amsmath, thref]{ntheorem} \begin{document} \begin{equation} \begin{split} a & b\\ c & d \end{split} \end{equation}...
2
votes
1answer
92 views

natbib citep[]{} error if used in theorem options [duplicate]

I am using natbib and amsthm. If I use \citep[Thm. 4.5]{key} in the options of my theorem environment I get the error: Argument of \NAT@@citetp has an extra }. \begin{thm}[\citep[Thm] Why can't I ...
3
votes
1answer
254 views

Redefining proof environment

How can I change the \begin{proof} environment so that the word Proof which is displayed in my document isn't italic? I tried changing \proofname, but that only changes the displayed text, not the ...
3
votes
1answer
56 views

Vertical space between “Proof” and start of proof

How can you add vertical space between the word "Proof" and the actual start of the proof? This question shows how to start the proof on a new line, but I can't add space properly.
1
vote
1answer
72 views

Number theorems with chapter number

I use declaretheoremstyle to define a theorem environment, and print a list of theorems in the end of my document: \documentclass[12pt]{book} \usepackage[english]{babel} \usepackage[margin=2cm]{...
3
votes
1answer
61 views

Remove repeated “Theorem (” in the list of theorems

I use declaretheoremstyle to define a theorem environment, and print a list of theorems in the end of my document: \documentclass{article} \usepackage[english]{babel} \usepackage[margin=2cm]{geometry}...
1
vote
0answers
8 views

Namespace for theorems [duplicate]

I want to make a theorem \newtheorem*{def}{Definition}. This doesn't compile because \def is already defined. How do I make amsthm use a different namespace for theorems? It doesn't make sense for a ...
2
votes
2answers
163 views

How to manipulate theorem body text indentation (using amsthm package)?

I would like to create the following formatting for summing up hypotheses (I am using the report documentclass): Body text. Body text. Body text. Body text. Body text. Body text. Body text. Body ...
5
votes
2answers
200 views

Share counter between amsthm and algorithm

I am using amsthm \usepackage{amsthm} \newtheorem{thm}{Theorem}[chapter] \newtheorem{lem}[thm]{Lemma} \newtheorem{prop}[thm]{Proposition} and algorithm \usepackage{algorithm, algpseudocode} \...
4
votes
2answers
358 views

Import \chapter into amsart

I would like to create a document with the appearance of amsart, but with added \chapter command (styled as in amsbook, or differently). How can I do that? I tried to make LaTeX load both amsbook and ...
1
vote
2answers
176 views

How to adjust the QED symbol to appear just after the last word in a proof

Whenever I finish a proof I tend to put the little square just after the last word, but by using the /begin{proof} /end{proof} environment it appears always at the end of the line. It seems like its ...
1
vote
0answers
28 views

Theorems with hanging indentation, also working with itemize [duplicate]

I've been trying numerous ways to have a hanging indentation in my theorems. I'm using amsthm to define my own theorem styles. What I want is the theorem to indent after line 1 like this: Text ...
2
votes
2answers
259 views

Problem with numbering theorem by section

I am having a problem with the numbering of the theorems (by section) in a paper. My problem is that I want to number my theorems and propositions such that they appear as something like: Theorem 3.1,...
3
votes
1answer
239 views

Indent the word “Proof” in environment proof of amsthm

I'm working with the amsthm package, especially using the proof environment. I would like just the word "Proof" to be indented (and to keep the QED symbol). Can we do that?
3
votes
1answer
152 views

Allowing pagebreaks for shaded theorems using thmtools

I just searched for a way of allowing pagebreaks when using shaded theorem-environments from thmtools. I found my question was, somewhat, answered here (the second solution) with a comment from the ...
5
votes
1answer
137 views

Keep theorem content on the same page

Currently my preamble looks like \documentclass{article} \usepackage{amsthm} \usepackage{amsmath} \usepackage{amssymb} \usepackage{enumitem} \theoremstyle{definition} \newtheorem*{theo}{Theorem} \...
1
vote
1answer
78 views

Why is trivlist used in center, theorem and other environments?

I've noticed that the trivlist environment is used in the AMS Theorem package and in the definition of the center environment. For example: \def\center{\trivlist \centering\item\relax} \def\endcenter{...
4
votes
1answer
545 views

Mysterious Vertical Space After Theorem/Proof Environments

I have defined my own theorem style to have 0pt above and 0pt below. For simplicity I have also set all other relevant spacings to 0pt. However, when I use a theorem or proof environment I get some ...
0
votes
0answers
290 views

How to use autoref or cleveref when the theorem environments are in the class file?

The journal LMCS provides a style, lmcs.cls, that contains definition of theorems environments : %%% Theorem environments % the following environments switch to a slanted font: \theoremstyle{plain} ...
5
votes
2answers
74 views

Adding optional arguments to environment

I'm trying to understand and modify this code: \newtheorem*{nonamethm}{\nonamethmname} \newcommand{\nonamethmname}{} \newenvironment{genthm}[1] {\renewcommand{\nonamethmname}{#1}\nonamethm} {\...
2
votes
1answer
161 views

How to Nest Proofs in a Useful Way

I am using amsthm and amsbook and nesting claims and proofs. I would like to have two things: 1) Proofs that are in a deeper layer should be indented. 2) There should be a semi-box (only left and ...
5
votes
1answer
125 views

After “Theorem”, “Definition” the actual content should start at the same indent

Since "Thm 1.2", "Def 1.33", etc. all have about the same width, I'd like to try a layout with a fixed indentation. The actual content after the label and number should begin at the same indendation ...
6
votes
1answer
198 views

How to put Theorem Numbers in Boxes?

I'm using amsthm and amsbook. I was wondering how to put theorem numbers in rectangular boxes, both when they first appear as well as when citing them. Here is a picture of what it looks like now: ...