Sign up ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

How can I draw a horizontal line at the end of proofs? I use \begin{proof}....\end{proof}.

I use amsthm package without any modification.

share|improve this question
You can redefine the QEDsymbol. – Sigur Apr 18 '13 at 1:15

3 Answers 3

You could patch \endproof (the end macro of the proof environment) to insert a horizontal rule automatically. The following patch is provided via etoolbox:

enter image description here

\patchcmd{\endproof}% <cmd>
  {\endtrivlist}% <search>
  {\endtrivlist\par\nobreak\vspace*{\dimexpr-\baselineskip-\parskip}\nobreak\noindent\hrulefill}% <replace>
  {}{}% <succes><failure>
Here is a proof.

The patch removes a vertical skip after ending proof, and inserts \nobreak together with a horizontal rule (\hrulefill) so that they are not separated by a page break.

share|improve this answer
the designers of amsthm don't consider the vertical skip after a proof to be an error, so would prefer "removes" to "corrects". (the purpose of the skip is to make the end of the proof more obvious; clearly, the rule has the same intent, and is handled appropriately in your code.) – barbara beeton Apr 18 '13 at 13:39

For example:





share|improve this answer
Other option is to use \def\qed{\rule{.75\linewidth}{1pt}} so it is possible to set up the width of the line and the thickness. – Sigur Apr 18 '13 at 1:36

Here's another option, this time using the thmtools package as a front-end for amsthm:

\usepackage{lipsum}% just to generate text for the example


spaceabove=6pt, spacebelow=6pt,
notefont=\mdseries, notebraces={(}{)},




enter image description here

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.