New answers tagged theorems
4
I agree with Jubobs comment: using "Theorem 1.2" is very likely to be confusing.
Here's how one might do:
\documentclass{article}
\usepackage{enumitem}
\newenvironment{thmenum}
{\begin{enumerate}[label=\upshape(\arabic*),ref=\thethm(\arabic*)]}
{\end{enumerate}}
\newtheorem{thm}{Theorem}
\begin{document}
\begin{thm}
The following are true:
...
4
You could regard this as kind of a bug in the LaTeX kernel. What's happening here? There's some vertical space below the display (\belowdisplayskip) and after the theorem (the \thm@postskip of 2cm that you specified). Now LaTeX is designed such that it doesn't add the sum but the larger one of those two vertical spaces (which is good).
The problem arises in ...
2
I wasn’t aware of this discussion, however since someone else recently complained about the incompatibility of the two packages, I’ve updated the theoremref package to add support for hyperref. It should be available through CTAN shortly.
3
The problem is that your "space above" and "space below" have no flexibility, while \topsep has. Add some flexibility:
\documentclass[a4paper]{amsart}
\usepackage{amsthm}
\newtheoremstyle{myplain}
{2cm plus 1cm minus 0.5cm}% ⟨Space above⟩
{2cm plus 1cm minus 0.5cm}% ⟨Space below⟩
{\itshape}% ⟨Body font⟩
{}% ⟨Indent amount⟩
{\bfseries}% ⟨Theorem ...
0
This is a solution using the ntheorem package. Here some explanations:
amssymb is loaded to use \blacksquare
The package ntheorem is loaded using the option thmmarks to support the placement of endmarks.
\theoremheaderfont{\bfseries} sets the theorem title in bold.
\theorembodyfont{\normalfont} preserves the normal text font for the theorem content.
...
7
Remarks
I reproduced Heiko's answer using ntheorem. There is a tricky thing about it: You can't wrap the \lettrine into the [] of the \item as one would normally do for theorems. I get the error
! Argument of \@lettrine has an extra }.
if I do this. I don't know why, maybe somebody knows (Please comment).
Implementation
\documentclass{article}
...
21
Partial answer that addresses:
Dropped captital/number is solved by package lettrine. It also provides the small caps for Bezeichnungen:.
Color of the number (gray).
Alignment of the equation system (using environment alignat* of package amsmath. Just for fun I have added additional alignments for | and \in.
Letter spacing of the small caps text via ...
3
Partial solution: the font is loaded with the package mathpazo.
1
The width reserved to typeset the sectional unit number is controlled by \thmt@listnumwidth, with a default value of 2.3em. You can increase this value according to your needs (I used 3.5em in my example below):
\documentclass{article}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{xcolor}
\declaretheoremstyle[
spaceabove=6pt,
...
3
The cleveref really helps to address this issue.
Instead of writing
We see in Theorem \ref{thm:bigimportantthm}
you simply use
We see in \cref{thm:bigimportantthm}
In your preamble, you tell the package how you want it to behave- in this example, you might write
% each of the following has two versions
% ...
3
although the suggested question, How to redefine an environment to produce no output?, does offer ideas, it's not obvious that it's perfect.
here's an attempt to use the comment package in the way requested.
\documentclass{article}
\usepackage{amsthm}
\usepackage{comment}
%\excludecomment{proof}
\begin{document}
some text
\begin{proof}
proof text
...
3
I use the fncylab package for this, which allows you to associate a macro expansion with every counter so that \ref{<label>} produces something more than just the value of the counter to which <label> corresponds. For example,
\usepackage{fncylab}
\labelformat{theorem}{Theorem #1}
does exactly what you want. I also tend to do ...
1
This is an example that I have generated based on the answer by Steven B. Segletes, all credit goes to him.
You can pass the label of the lemma as the argument in the following while issuing \deferlemma and then use the same label to recall using \recalllemma
\documentclass[12pt]{article}
\usepackage{amsmath}
\newcounter{lema}\setcounter{lema}{0}
...
4
2- You can use the restatable environment provided by thmtools.
1- Since the environment generates an anchor, you can use the standard \label, \ref (\pageref) mechanism for cross-referencing.
A complete example:
\documentclass{article}
\usepackage{amsthm}
\usepackage{thmtools, thm-restate}
\usepackage{hyperref}
\declaretheorem{theorem}
\begin{document}
...
6
If the document is monolingual, you just define the environments with the right tag:
\newtheorem{thm}{Theorema} % is it right?
\newtheorem{ex}{Voorbeeld}
In case you have a bilingual (or multilingual, in general) documment, you can let babel do the translations, but you must teach it the tags.
\documentclass{article}
\usepackage[english,italian]{babel}
...
3
It's not the job of babel to automatically translate your own defined theorem-like structures. You have to provide explicitly the names in your language for the second mandatory argument of \newtheorem (since I don't know the words in Dutch I used the ones for Spanish in my example):
\documentclass{article}
\usepackage[dutch]{babel}
...
1
In your post you are not mentioning the name of your university so for a moment I will assume that you are getting your PhD somewhere in U.S. (about 50% of all annually awarded PhD in mathematics on the world are awarded in U.S. so that is a damn good guess).
Any R1 ties PhD granting department in U.S. would have mandatory LaTeX template. Typically ...
4
This document style introduces vertically spacing between paragraphs, thus giving too much space before proofs, and uneven spacing around theorems, etc. Redefining the internal commands of amsthm, putting negative space into \topsep of the proof environment, and making theorems start with with a \parskip and end with no spacing gives the following result ...
2
Let me try to provide an answer.
thmtools uses the default environment provided by amsthm. To use mdframed with frametitle you have to redefine the default environment of amsthm. However I don't know whether it's a good idea. With the simple test file below it works. Please note that all theorem environments are enclosed by mdframed.
In the example I also ...
2
Do it the other way round, using the restatable* environment.
\documentclass{article}
\usepackage{thmtools}
\usepackage{thm-restate}
\usepackage{lipsum}
\declaretheorem[name=Theorem,numberwithin=section]{thm}
\begin{document}
\section{First}
\begin{restatable*}[Goldbach's conjecture]{thm}{goldbach}
\label{thm:goldbach}
Every even integer greater than 2 ...
1
I like all of my theorems etc numbered in sync with equations. For this I use the following macro to create my theorem-like environments:
% Some trickery to make \NewTheorem{} define theorem like environments
% work correctly with \autoref{}
\def\NewTheorem#1{%
\newaliascnt{#1}{equation}
\newtheorem{#1}[#1]{#1}
\aliascntresetthe{#1}
...
3
\documentclass{report}
\usepackage{thmtools}
\declaretheorem[
style=mydefinitionstyle,
name=Definition,
numberwithin=chapter
]{definition}
\declaretheorem[
style=mydefinitionstyle,
name=Definition,
numberwithin=definition,
]{definitionAlt}
\renewcommand\thedefinitionAlt{\thedefinition\alph{definitionAlt}}
\begin{document}
...
1
I don't use lemmas, but if they use a numbering scheme like equations, then you should be able to adapt this. I show here how to defer the presentation of equations, while preserving the numbering when they were "conceived."
I create a \defereqn command to "conceive" an equation (give it a number and remember it) without printing it. I also have the ...
2
I added one line to the definition of the \thmt@rst@storecounters macro: a hardwired \vspace. It might not be pretty, but it gets the job done. (EDITED to make the fix to a smaller routine, so as to take up less space. The ORIGINAL post had the same fix applied to the much longer thmt@restatable environment.)
\documentclass{article}
\usepackage{amsthm}
...
6
If you want also to print the theorem number, here's a schematic solution:
\documentclass{article}
\usepackage{lipsum}% just for the example
\newcommand{\shorttheorem}[1]{%
\xdef\shorttheoremlist{%
\unexpanded\expandafter{\shorttheoremlist}%
\noexpand\item[Theorem \thethm:]
\unexpanded{#1}}}
\newcommand\shorttheoremlist{}
...
4
This makes a table at the end, which is I think what you wanted:
\documentclass{article}
\makeatletter
\def\shortthms{}
\def\shorttheorem#1{\g@addto@macro\shortthms{#1\\}}
\makeatother
\newtheorem{thm}{Theorem}
\begin{document}
\begin{thm}
\shorttheorem{$x + y = y + x$}
Let $x,y$ be integers. Then $x+y=y+x$.
\end{thm}
\begin{thm}
...
5
Go to Document > Settings > Modules
Click on "Theorems (AMS, Numbered by Type)"
The description is as follows:
Defines theorem environments and the proof environment using
the extended AMS machinery. Both numbered and unnumbered
types are provided. Contrary to the plain AMS Theorem
module, the different theorem types provided here each have
a separate ...
1
You need to give the two styles different names:
\documentclass[12pt,a4paper]{report}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{amsfonts,color,graphicx,xcolor}
\usepackage[english]{babel}
\declaretheoremstyle[
headfont=\bfseries,
notebraces={(}{)},
bodyfont=\normalfont\scshape,
headpunct={},
postheadspace=\newline,
...
0
egreg answered the question. The style file defines some theorems such that I couldn't redefine them.
3
Here is some code that addresses your concerns (but please rethink if you want to confuse your readers! Please!):
\documentclass{book}
\usepackage{amsthm}
\newtheoremstyle{myplain}% name
{3pt}% Space above
{3pt}% Space below
{\itshape}% Body font
{}% Indent amount
{\bfseries}% Theorem head font
{}% Punctuation after theorem head
{.5em}% Space after theorem ...
5
The command \newtheorem is defined in the LaTeX-kernel with the following input:
\newtheorem{name}{Printed output}[numberby]
or
\newtheorem{name}[counter]{Printed output}
You can see that the standard definition doesn't has a star version.
You want an unnumbered theorem. Packages like amsthm or ntheorem provides the star version to get an unnumbered ...
3
The following defines a new proof-like environment in which the proof title is temporarily changed to "Heuristic Proof" (despite my own reservations of the use of the word heuristic in these circumstances!), implementing lockstep's idea from the comments but in such a way that the original proof environment still exists.
\documentclass{article}
...
6
I think this might be a not completely smooth interaction between the packages; skipbelow accepts negative values, but skipabove, and even spaceabove (from thmtools) when the mdframed key is in action, seem to ignore values that are less than 0pt. This might have to do with the fact that thmtools uses \addtotheorempreheadhook to pass the options to the ...
Top 50 recent answers are included
