{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

17
votes
4answers
2k 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 ...
1
vote
1answer
74 views

How can I change the spacing around definitions with amsthm?

I am wondering how I may change spacing around definition environments. I have seen the answer posted for the same question about theorems, \makeatletter \def\thm@space@setup{% ...
6
votes
3answers
111 views

Lemmas and sub sections

I want to write a LaTeX code to show, Lemma 1 : x+y=z Lemma 1.1: z-r+t=3 Lemma 1.2: q=r How do I do that?
2
votes
2answers
128 views

cleveref doesn't use correct capitalized name if used with amsthm?

It seems that the cleveref package does not capitalize properly when referring to a newtheorem if both \crefname and \Crefname have been defined. Or is it just me? Here is my MWE: ...
8
votes
2answers
1k 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 ...
0
votes
0answers
28 views

How to add an end indicator to remark in amsthm? [duplicate]

We usually use \qed to indicate the end of proof. With amsthm, it is possible to adjust the formatting of proof. But I also have several rather long remarks, which better have a end indicator, ...
2
votes
1answer
81 views

Proposition command doesnt work

Please refer to the below code: \documentclass[a4paper,11pt]{report} \usepackage{a4wide} \usepackage{amsmath} \usepackage{amssymb} \usepackage{graphicx} \usepackage{url} \usepackage{fixltx2e} ...
3
votes
1answer
126 views

Need help with modifying ntheorem environments

I am trying to modify some of the theorem environments defined in ntheorem. I wanted the definitions in my document to be boxed the way in which ntheorem does for the framed theorem classes which they ...
2
votes
1answer
47 views

Combining tagging with ntheorem

I would like to combine the tagging package with ntheorem to obtain ntheorem-environments that are tagged. A minimal example would be: \documentclass{scrartcl} \usepackage{tagging} ...
2
votes
1answer
84 views

Need help with a cases structure inside an enumerated list

I need to type an enumerated list (for a math document) that contains several lines for which I need to have said lines have a curly brace at the end with a text description for them. The best I can ...
3
votes
1answer
147 views

Multiline Inferences / Rules / Axioms in Bussproofs

I have a proof that I need to set in LaTeX, and to do so I am using the bussproofs package. However my proof has large amounts of free text in it, which makes the proof overly wide. Is there a way to ...
3
votes
2answers
92 views

Reference entire title of a Theorem, not just its number

Say I have \begin{theorem}\label{thm:Fermat} This is a theorem about Fermat. \end{theorem} and the output is Theorem 5.2. This is a theorem about Fermat. Now I want to reference it by ...
2
votes
1answer
60 views

Referencing enumerated observations in proof

I am writing a rather complicated proof (graph theory/algorithmics), which contains a number of listed observations that are going to be referenced later in the course of the proof. The observations ...
1
vote
0answers
37 views

Creating arabic and alpha theorem numbering [duplicate]

For my Thesis I am stating a number of Theorems (Working Propositions actually). Using the theorem environment I do get some thing like: WP1 My first WP I create this by using \begin{WP} my ...
4
votes
1answer
181 views

Problem with environments, arabic and tikz

Here a question also about my last topic. I want to create an environment that put a pretty box around my theorem and its title. Here is a code with the desired output : \documentclass{report} ...
6
votes
2answers
795 views

How to suppress vertical space between theorem heads and enumitem environments?

How can I suppress vertical space between a theorem head and an enumitem environment? I would like the output to look like version 3 below, but I hope there is an automatical solution without ~ and ...
2
votes
2answers
693 views

Theorem formatting: strange interaction with itemize

This question is related to this one. I want to have theorem headers alone on a line like this: Theorem 1. some text... In the amsthm documentation, they suggest doing this: ...
6
votes
1answer
160 views

List of equations in separate pdf [closed]

I am communication with my coauthors via email. This time, I am the author, so I send them the PDF file of the document, and they send me corrections. Then I'd like to implement these corrections. ...
4
votes
1answer
131 views

problems with tikz and arabi package

I have some problems and I hope you can help me. When I put a tikzpicture and use the arabi package, the picture is not displayed in the dvi or pdf file, and this without a single error. I have a ...
4
votes
2answers
1k views

Sectioning paragraphs, such as for different cases inside a proof

I'd like to have offset paragraphs inside a proof, say to delineate one case from another. I've been using \newtheoremstyle{component}{}{}{}{}{\itshape}{.}{.5em}{\thmnote{#3}#1} ...
0
votes
2answers
105 views

A Theorem solution that works with Nath

I'd like to use some theorem environment. But I'm using the nath package, which is unfortunately incompatible with every solution I've found. I don't need anything very fancy, just the following ...
1
vote
0answers
81 views

What's the correct way to place theorems and pictures side by side?

Okay so I have a definition using the amsthm theorem environments, and a tikzpicture which I want to see side by side. The material inside the definition is not too big, so I expect the final height ...
2
votes
1answer
264 views

Beamer: Grouping environment counters

In beamer, when I use \setbeamertemplate{theorems}[numbered] but this groups them all as the following. What I want is theorems, lemmas and other environments to have different counters such as the ...
6
votes
1answer
354 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 ...
2
votes
2answers
340 views

Using amsthm: changing Theorem options and break line

Using amsthm, is it possible to change the settings as follows ? Theorem/number/Name/cite : body I tried to write: \documentclass{article} \usepackage{amsthm} \newtheoremstyle{mystyle}% name ...
3
votes
2answers
117 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 ...
11
votes
2answers
1k 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 ...
3
votes
4answers
1k views

ntheorem with the [amsthm] option ignores styling of a theorem environment

I'm using ntheorem with the amsthm option, to define a theorem-like environment for stating notes. I should be getting an environment beginning with the word 'Note' in italic font, followed by the ...
5
votes
1answer
80 views

How to put reflectbox in newtheorem correctly?

Firstly: sorry for my English, I hope, that you'll understand me. Secondly: I have to use \reflectbox in my newtheorem environment. Problem is, that when I put for example \reflectbox{D}, letter D is ...
2
votes
1answer
282 views

Defining cross-reference names for custom theorem environments in cleveref

I am concerned with the difference between this working example \documentclass{article} \usepackage{amsthm} \usepackage[capitalise]{cleveref} \newtheorem{thm}{Theorem} \begin{document} ...
7
votes
3answers
442 views

Hyperref and theoremref conflict?

I initially thought that this problem was with Unicode characters, but reducing the file led to the MWE below which has none, so it seems that theoremref and hyperref don't like each other. Consider: ...
1
vote
1answer
337 views

Why am i getting a counter error while defining a Theorem environment?

I have this in a latex file: \documentclass[conference]{IEEEtran} \newtheorem{theorem}{Theorem} and at some point i have this: \begin{theorem} foo \end{theorem} but i am getting this ...
3
votes
1answer
62 views

How to redefine definition theoremstyle to use a letter instead of a number

I need to redefine the theorem style. Is it possible to change the numbers to letters? \theoremstyle{definition} \newtheorem{problem}{Problem} \begin{problem} fff \end{problem} \begin{problem} ccc ...
0
votes
0answers
77 views

nopagebreak between rule and custom theorem env

I'm making a custom theorem environment. Here's a minimal example of my problem, with some filler text borrowed from the GPL: \documentclass{scrbook} \usepackage[dvipsnames]{xcolor} ...
6
votes
0answers
209 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 ...
12
votes
1answer
234 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 ...
2
votes
0answers
79 views

Custom environment splitting between pages [closed]

I created a custom environment for theorems using mdframed package: \newtheorem{theorem}{Theorem} \newtheorem{twierdz}[theorem]{Twierdzenie} \newenvironment{twierdzenie} ...
6
votes
1answer
94 views

Using ntheorem's counter inside theorem statement

I'm using ntheorem package and I would like to use the theorem's counter within the theorem's statement. This is useful when you're defining a special object you wish to reference elsewhere, like: ...
1
vote
1answer
2k views

Beamer: how to make theorem-like block (with free title)

I often use CambridgeUS, the only negative part about is that when I put theorems in blocks, it's not see clear where that theorem ends. So I would like the body of the theorem to be in italic. ...
2
votes
1answer
148 views

Using chapter instead of section number with amsthm

I'm trying to number my examples, definitions, theorems, etc. in the form Chapter#.example#. However, the amsthm package only seems to provide sectional numbering, which I don't like. Does anyone ...
11
votes
4answers
6k views

Defining my own proof environment?

How would I define a proof environment that is basically used with \begin{proof} some proof here \end{proof} and it would be equivalent to: \paragraph{Proof:} some proof here \hfill \box ?
3
votes
1answer
48 views

Using Grouping to Limit the Scope of a \newtheorem in the Combine Document Class

I am combining a set of articles using the combine document class. However, use of the \newtheorem command in the individual articles causes an error, when these environments have already been defined ...
11
votes
2answers
722 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 ...
4
votes
0answers
71 views

Break theorem style in amsart [duplicate]

I want to make a theorem's header stands in a separated line like (as style break in ntheorem) Examples 1 (1) GL(n) (2) SL(n) I copied the solution from Theorem formatting, but it doesn't work ...
3
votes
1answer
74 views

thmbox color bar

I would like to ask if anyone knows if it is possible to change the bar color in the thmbox package. One can change the thickness of the bar but not the color. \usepackage{thmbox} ...
42
votes
7answers
7k 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, ...
9
votes
1answer
467 views

How to customise (e.g. make thicker) the end-proof symbol in Beamer?

I would like to change the symbol for the end of proofs (the square) used in Beamer. It is quite thin, not very visible in some colorthemes. How can I have a thicker border and still in the structure ...
4
votes
2answers
105 views

How change type of remark title in amsthm?

How can I easily change the typeface of remark titles in amsthm without having to define a completely new style using \newtheoremstyle. More precisely, I have the following code: \usepackage{amsthm} ...
6
votes
1answer
225 views

Automatic upright math when text is in italic

This is in a way a follow-up to this question about upright math. I would like to have upright math (essentially variable names) when I use a theorem-like environment with statement in italic. This ...
3
votes
1answer
126 views

Line break in list in indented theorem

I'm trying to make an indented theorem environment as in A theoremstyle with complete indentation using amsthm. Here's a minimal (non-)working example: \documentclass{article} \usepackage{amsthm} ...