summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-05-04 23:39:21 +0000
committerKarl Berry <karl@freefriends.org>2011-05-04 23:39:21 +0000
commit16bfcc69400c93c3d779a104107606ae122a7dbe (patch)
treee2456232be21108418db974f47ea118eec770469 /Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html
parent9a8f00b89c2c1cd283f5fd0fb54959ef0690646f (diff)
FAQ-en 3.22 (4may11)
git-svn-id: svn://tug.org/texlive/trunk@22304 c570f23f-e606-0410-a88d-b1316a301751
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, 0 insertions, 39 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
deleted file mode 100644
index 504ab5038e4..00000000000
--- a/Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html
+++ /dev/null
@@ -1,39 +0,0 @@
-<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 &#8216;end-of-proof&#8217; 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&#8217;s numbering environments.
-<dl>
-<dt><tt><i>amsthm.sty</i></tt><dd>Distributed as part of the AMSLaTeX bundle
- <a href="http://mirror.ctan.org/macros/latex/required/amslatex.zip">macros/latex/required/amslatex</a> (or <a href="http://mirror.ctan.org/macros/latex/required/amslatex/">browse the directory</a>); <a href="http://mirror.ctan.org/help/Catalogue/entries/amsthm.html">catalogue entry</a>
-<dt><tt><i>ntheorem.sty</i></tt><dd><a href="http://mirror.ctan.org/macros/latex/contrib/ntheorem.zip">macros/latex/contrib/ntheorem</a> (or <a href="http://mirror.ctan.org/macros/latex/contrib/ntheorem/">browse the directory</a>); <a href="http://mirror.ctan.org/help/Catalogue/entries/ntheorem.html">catalogue entry</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>