SHARE
TWEET

Untitled

a guest Feb 15th, 2019 60 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. documentclass{article}
  2. usepackage{amsthm}
  3. begin{document}
  4. begin{proof}
  5. end{proof}
  6. end{document}
  7.    
  8. documentclass{article}
  9. usepackage{amsthm}
  10. usepackage{xpatch}
  11. makeatletter
  12. xpatchcmd{proof}{@addpunct{.}}{@addpunct{:}}{}{}
  13. makeatother
  14. begin{document}
  15. begin{proof}
  16. end{proof}
  17. end{document}
  18.    
  19. makeatletter
  20. xpatchcmd{proof}{@addpunct{.}}{normalfont,@addpunct{:}}{}{}
  21. makeatother
  22.    
  23. documentclass[a4paper,12pt]{article}
  24. usepackage{amsmath,amsthm}
  25. makeatletter
  26. renewenvironment{proof}[1][proofname]{par
  27. pushQED{qed}%
  28. normalfont topsep6p@@plus6p@relax
  29. trivlist
  30. itemrelax
  31. {itshape
  32. #1@addpunct{:}}hspacelabelsepignorespaces
  33. }{%
  34. popQEDendtrivlist@endpefalse
  35. }
  36. makeatother
  37. begin{document}
  38. begin{proof}
  39. Here comes the proof.
  40. end{proof}
  41. end{document}
  42.    
  43. documentclass{article}
  44. usepackage{amsthm}
  45. begin{document}
  46. begin{proof}[Proof:nopunct]
  47. end{proof}
  48. end{document}
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top