{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.

learn more… | top users | synonyms

4
votes
3answers
92 views

Tweaking theorem style last parameter traps?

When I modified the \newtheoremstyle last parameter to get a list for a listoftheorems new command I want to define later, I got some unpleasant side effects I want to get rid of. First unwanted side ...
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, ...
0
votes
3answers
48 views

creating theorem-like environments within 'notes' (see example)

I would like to create the following style to write mathematics: In fact the above I created myself but some numbers and spacing I had to set manually (and I would like this to be automatic of ...
4
votes
2answers
2k views

Indentation for proofs

I'm using amsbook document class and amsthm package. I want the proofs to stand out from the rest of the text by slightly indenting them, i.e. leaving some margins from left and right. How do I do ...
3
votes
2answers
31 views

Transform output \theoremstyle{remark} from italics to bold

I'm using \theoremstyle{remark} To make my cheatsheet. The output of the \theoremstyle{remark} is the one I need, because it doesn't create any space between the defintion. The problem is that the ...
6
votes
2answers
6k 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 ...
0
votes
1answer
23 views

Table/Summary of Theorems and Definitions

I was wondering if there are any packages out there that will automatically print out a table or summary of the theorems and definitions in my document. I do NOT want a list of the theorems and ...
5
votes
1answer
88 views

How to define a new counter independent of section

I am trying to create exercises within a paper, by which the numbering will be as one would expect (1, 2, 3, ...). However, when defining a new counter and theoremstyle: \documentclass{article} ...
2
votes
1answer
37 views

Remove italic within align inside a theorem-like environment [duplicate]

Is there any way to remove the italic from the words bits in the code below? That is, change the \text output to represent the normal font when an align is used inside a theorem-like environment. ...
2
votes
1answer
39 views

ntheorem: numbering of claim and its proof

I am trying to create a claim environment in ntheorem to use within the proof environment. I tried around with the following code \documentclass{article} \usepackage{ntheorem} ...
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
42 views

How to add space around tcolorbox theorem

In amsthm you can easily change the space before and after a theorem. Can this be done with tcolorbox theorem? If so, how? I haven't been able to find anything in the documentation. Minimal ...
5
votes
1answer
3k 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}{ ...
20
votes
5answers
3k 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 ...
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 ...
1
vote
1answer
39 views

How can I change the numbering of sections?

My code below compiles a document and so far it prints, e.g.: Definition 1.1 Example 1.1 Example 1.2 Corollary 1.1 But how can I change this to the following: Definition 1.1 Example 1.2 ...
2
votes
0answers
37 views

Lyx: how to get theorem numbers to have three parts?

Using the document class amsart, how can I get theorem numbers to also contain the number of the subsection and not just that of the section? Here is a minimal working example of what I mean, in ...
1
vote
1answer
38 views

Theorem without number using mdframed

I am working on a text that involves some theorems and I am using mdframed I want a theorem whit just the optional title \begin{teorema}[title desired] Some text \end{teorema} so far I've seen ...
2
votes
0answers
31 views

How to put an ending sign within equation for theorem-alike environments? [duplicate]

Thanks to an answer to my question asked here, I used the following codes to generate for each theorem-alike environment exactly one square symbol as the ending sign: \documentclass[12pt]{amsart} ...
4
votes
2answers
48 views

tcolorbox theorem which isn't framed on the sides

Minimal example: \documentclass[]{report} \usepackage{tcolorbox} \tcbuselibrary{theorems} \tcbuselibrary{skins} \newtcbtheorem[number within=chapter]{thm}{Theorem} {theorem style=change ...
16
votes
3answers
4k views

Enumerate alignment problem in theorem environment

I'm using amsart. When I create an enumeration inside a theorem environment, the numbering is not aligned properly: Theorem 14. (1) (2) (3) (4) How do I shift the (2),(3),... to be aligned with ...
4
votes
2answers
190 views

PDF bookmarks for thmtools' theorems

I would like to add PDF bookmarks for some classes of theorems declared using thmtools and I couldn't find a beautiful way to do it so far. The best idea I have been able to come up with was to add ...
2
votes
0answers
51 views

How to bring theorem's and lemmas numbers from a thesis document class and put it in the beamer presentation

How to bring theorem's and lemma's numbers from a thesis document class and put them in the beamer presentation, because I want to reffer the audience who have the printed thesis to the number and ...
4
votes
1answer
41 views

How can arguments be used inside headstyle with thmtools?

I'm trying to define something like the named theorems in Customizing theorem name except using thmtools. As far as I understand, the headspec is to be provided in the key headstyle to ...
2
votes
2answers
51 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 ...
4
votes
1answer
163 views

Is there a way to translate the names of theorems and definitions in other languages, without defining new ones?

Is there a way to translate the names of theorems and definitions in other languages, without defining new ones? For instance, if I use \usepackage[romanian]{babel} the word Proof is replaced by ...
1
vote
1answer
35 views

Force itemizing in a new line

Is there an easy way (without editing the theorem environment) to force 'itemizing' start from a new line inside the remark environment ? I tried \par command but nothing seems to happen. I am sure ...
3
votes
1answer
57 views

How get bold and normalfont item into theorem?

I have a numbered list into theorem. Example \begin{enumerate}[label={\bfseries\normalfont{\roman*.}}] \item \end{enumerate} But the picture below show the item is with normalfont but non-bold ...
0
votes
1answer
148 views

How to insert the name of the Axiom next to Axiom [closed]

\begin{axiom} (blah) \end{axiom} gives "Axiom 1". How can I make this so that I have "Axiom 1 (blah)." instead? Tags are probably not correct. I just got started with Latex today.
3
votes
1answer
33 views

Theorems with dash between numbers

I want to make theorems that look like this, but with better spacing: 1-1 Theorem ( Theorem name ) Statement of the theorem. Here is what I currently have: \documentclass{article} ...
3
votes
1answer
24 views

one counter for multiple theorems?

I searched the internet for a while now but didn't quite get what i wanted. I want number different theorems with the same counter, which depends on chapter and section. eg Lemma 1.1.1 Example 1.1.2 ...
4
votes
2answers
133 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 ...
3
votes
1answer
62 views

Using \qedhere automatically in every proof

I'm currently using \qedhere at the end of my proof every time since I'm really satisfied with the positioning of the qed mark. The problem is, I use it so often that I want to make the qed mark ...
3
votes
1answer
43 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 ...
3
votes
2answers
28 views

Numbering of items in a chapter

I am writing my thesis with book class. All but one of the chapters have subsection. For the particular chapter without a subsection, the first definition number comes as 2.0.1. The 0 is for the ...
0
votes
0answers
30 views

Break a large theorem using mdframed on beamer [duplicate]

I am using mdframed to write theorems and I've been dealing with this theorem that is quite long and hao 4 equations in it. I have tried using [allowframebreaks] and using \framebreak in a specific ...
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$}\ ...
6
votes
1answer
5k 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} ...
4
votes
1answer
44 views

Beamer: itemize in presentation mode with lemma duplicates slide

Consider this MWE: \documentclass{beamer} \begin{document} \begin{frame} \begin{itemize}[<+->] \item Next up a lemma. \item \begin{lemma}A lemma.\end{lemma} \end{itemize} \end{frame} ...
7
votes
2answers
1k views

Indent Theorem like \hangindent, but for multiple paragraphs

I would like to create a theorem style which indents the theorem exactly like a \hangindent would do, expect that the indention should continue for all paragraphs of the theorem. For example: ...
1
vote
0answers
26 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 ...
4
votes
1answer
192 views

Theorem style 'bodyfont' not respected

The two theorem styles below which differ at bodyfont style, give the same font style. Can someone help on this? \documentclass[12pt,a4paper]{report} \usepackage{amsthm} \usepackage{thmtools} ...
10
votes
1answer
1k views

Cleveref with counters with same name

I am trying to use the cleveref package. I have the following counters defined (hopefully this is the right way to do it!) \newtheorem{thm}{Theorem}[section] \newtheorem{lemma}[thm]{Lemma} ...
19
votes
6answers
3k views

Is it possible to skip the first line in a theorem environment?

I'm currently writing up some solutions, and I like to rewrite the problem before answering it. I've set exercise to be a theorem environment, and the code I'm using is \begin{exercise} ...
3
votes
1answer
267 views

How to set the bold font of the keyword Definition using IEEEtran without introducing package ntheorem?

I am writing a paper with the recommended template IEEEtran.sty. IEEEtran has its own theorem environment such as definitions, theorems, axioms, corollaries, lemmas, and so on. I want to set the bold ...
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 ...
4
votes
1answer
58 views

Theorem and proposition with arbitrary number in beamer

I would to set custom numbering for my theorems and propositions, using decimal points. For example, I would the code below to dislpay "Proposition 3.1": ...
11
votes
4answers
1k 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} ...
2
votes
1answer
61 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 ...
0
votes
0answers
5 views

Manually set theorem numbers for exercises when several exercises skipped [duplicate]

I'm trying to do a problem set where I only do some of the exercises, with lots skipped. So my problem set solution will look something like Exercise 2.2.1: a) ... c) ... Exercise 3.1: ...