{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

1
vote
0answers
28 views

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 ...
2
votes
0answers
30 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} ...
0
votes
0answers
79 views

Why the the format look like this? [on hold]

Why the the format look like this? The theorem and proof do not continue page. There are alot of space in each page. How I can do? I use begin{theorem} and begin{proof}.
4
votes
1answer
39 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
3k 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
185 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
44 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 ...
0
votes
0answers
37 views

problem with margin note followed by theorem environment [closed]

The following command I use to put something in the margin note: \newcommand{\marg}[1]{\hfill\break\marginnote{#1}} Everything works fine, except when it is being followed by a theorem. The ...
4
votes
1answer
36 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
34 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
152 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
49 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
117 views

How to insert the name of the Axiom next to Axiom

\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
30 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
20 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
108 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
50 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
36 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
32 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
25 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
189 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
243 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
45 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
58 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: ...
6
votes
2answers
86 views

How to change margins in enunciation (theorem-like environment)?

I'd like the margins in the example environment in the code below to be slightly indented. What is the easiest way of achieving this? It's supposed to apply to all example environments. In the ...
0
votes
1answer
119 views

Theorem numbering with sub-theorems issue

I have a small project for my mathematics degree and have run up against a small problem. I want to have nested levels of theorems/definitions, for instance in the following code it should produce ...
1
vote
1answer
41 views

List of numbered pieces of text

To number short pieces of text throughout my report I used: \newtheorem{SampleEnv}{}[section] How do I generate a list of all the numbered pieces of text?
1
vote
1answer
304 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?
3
votes
1answer
80 views

Need help for fancy theorems using mdframed

I've been working with LaTex for a while and with Tikz I've done stuff nothing fancy just things for homework but now I will write my thesis I want some elegant cool theorem box using mdframed and ...
0
votes
1answer
66 views

Theorem boxes in beamer

Usually I use beamer with the Warsaw theme which puts theorems (and other things) in boxes. Now I switched my theme to Marburg but i still want to keep the boxes. How can one do that?
0
votes
1answer
47 views

Enumeration of theorems

Suppose I want to write a theorem. Using \begin{theorem} ....... \end{theorem I obtain something like Theorem 0.0.1 But I want only Theorem 1 The preamble is ...
4
votes
1answer
78 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 ...
13
votes
2answers
444 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 ...
0
votes
0answers
30 views

How does \newtheorem work? [duplicate]

I have a large .cls file I'm working with, so I don't know that I can provide a MSE, but here's my question. In my code I have: \theoremstyle{plain} \newtheorem*{theorem}{Theorem} ...
1
vote
1answer
58 views

Lyx Making Theorems Not Italic Globally

Before I used Lyx, I used \declaretheoremstyle to make the bodyfont into normal in theorems. But in Lyx, I'm using Theorems(AMS) and Theorems(Numbered by Chapters) Module and cannot find a way to ...
3
votes
2answers
59 views

I would like to define or redefine the `thm` environment

Pursuant to the answer to my question at An error I get trying to number tables consecutively with theorems, I can number tables and theorems consecutively without anything breaking. I would like to ...
5
votes
1answer
64 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 ...
3
votes
1answer
34 views

Theorem sub-numbering and hyperref

I want to use sub-numbering for certain theorems. I used the solution provided in the question How do I get sub-numbering for theorems (Theorem 1.A., Theorem 1.B., Theorem 2.)?, which does exactly ...
6
votes
1answer
135 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: ...