diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html')
-rw-r--r-- | Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html b/Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html new file mode 100644 index 00000000000..fcd2ef09876 --- /dev/null +++ b/Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html @@ -0,0 +1,39 @@ +<head> +<title>UK TeX FAQ -- question label proof</title> +</head><body> +<h3>Proof environment</h3> +<p/>It has long been thought impossible to make a <code>proof</code> +environment which automatically includes an ‘end-of-proof’ symbol. +Some proofs end in displayed maths; others do not. If the input file +contains + +<code>...<code>\</code><code>]</code> </code><code>\</code><code>end{proof}</code> then LaTeX finishes off +the displayed maths and gets ready for a new line before it reads any +instructions connected with ending the proof, so the code is very +tricky. You <em>can</em> insert the symbol by hand, but the +<i>ntheorem</i> package now solves the problem for LaTeX users: +it does indeed provide an automatic way of signalling the end of a +proof. +<p/>The AMSLaTeX package <i>amsthm</i> also provides a +<code>proof</code> environment that does the job; though you need to +insert a <code>\</code><code>qedhere</code> command if the proof ends with a displayed +equation: +<blockquote> +<pre> +\begin{proof} + text... + \begin{equation*} + maths... \tag*{\qedhere} + \end{equation*} +\end{proof} +</pre> +</blockquote><p> +The <code>\</code><code>tag*{<code>\</code><code>qedhere</code>}</code> construction may be used in any of +AMSLaTeX’s numbering environments. +<dl> +<dt><tt><i>amsthm.sty</i></tt><dd>Distributed as part of the AMSLaTeX bundle + <a href="ftp://cam.ctan.org/tex-archive/macros/latex/required/amslatex.zip">macros/latex/required/amslatex</a> (<a href="ftp://cam.ctan.org/tex-archive/macros/latex/required/amslatex.tar.gz">gzipped tar</a>, <a href="http://www.tex.ac.uk/tex-archive/macros/latex/required/amslatex/">browse</a>) +<dt><tt><i>ntheorem.sty</i></tt><dd><a href="ftp://cam.ctan.org/tex-archive/macros/latex/contrib/ntheorem.zip">macros/latex/contrib/ntheorem</a> (<a href="ftp://cam.ctan.org/tex-archive/macros/latex/contrib/ntheorem.tar.gz">gzipped tar</a>, <a href="http://www.tex.ac.uk/tex-archive/macros/latex/contrib/ntheorem/">browse</a>) +</dl> +<p/><p>This question on the Web: <a href="http://www.tex.ac.uk/cgi-bin/texfaq2html?label=proof">http://www.tex.ac.uk/cgi-bin/texfaq2html?label=proof</a> +</body> |