diff options
author | Karl Berry <karl@freefriends.org> | 2011-05-04 23:39:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-05-04 23:39:21 +0000 |
commit | 16bfcc69400c93c3d779a104107606ae122a7dbe (patch) | |
tree | e2456232be21108418db974f47ea118eec770469 /Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html | |
parent | 9a8f00b89c2c1cd283f5fd0fb54959ef0690646f (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.html | 39 |
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 ‘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="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> |