summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html
diff options
context:
space:
mode:
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.html39
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 &lsquo;end-of-proof&rsquo; 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&rsquo;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>