Text Formattingproof ams

Information and discussion about LaTeX's general text formatting features (e.g. bold, italic, enumerations, ...)
Post Reply
QwareeqMathematics
Posts: 68
Joined: Mon Jul 06, 2009 7:44 pm

proof ams

Post by QwareeqMathematics »

I read about amsthm package , and it has a proof environment.

How could I change proof word shape , from italic for example to bf ??

I don't want to define a new theorem style , I need the same style for proof environment. If some one know what the values and command that used to define the same environment with \qedsymbol ending , it will be wonderful.

Recommended reading 2024:

LaTeXguide.org • LaTeX-Cookbook.net • TikZ.org
LaTeX Beginner's Guide LaTeX Cookbook LaTeX TikZ graphics TikZによるLaTeXグラフィックス
User avatar
localghost
Site Moderator
Posts: 9201
Joined: Fri Feb 02, 2007 12:06 pm

proof ams

Post by localghost »

Taking a look at the source of the amsthm package you can borrow the concerning code and modify it. Add the following lines to your preamble.

Code: Select all

\makeatletter
\renewenvironment{proof}[1][\proofname]{\par
  \pushQED{\qed}%
  \normalfont \topsep6\p@\@plus6\p@\relax
  \trivlist
  \item[\hskip\labelsep
        \bfseries
    #1\@addpunct{.}]\ignorespaces
}{%
  \popQED\endtrivlist\@endpefalse
}
\makeatother
In the original code there is the \itshape declaration which is now replaced with \bfseries [1].

[1] Help On LateX2e Font Selection


Best regards
Thorsten
How to make a "Minimal Example"
Board Rules
Avoidable Mistakes[/size]

¹ System: openSUSE 42.2 (Linux 4.4.52), TeX Live 2016 (vanilla), TeXworks 0.6.1
QwareeqMathematics
Posts: 68
Joined: Mon Jul 06, 2009 7:44 pm

Re: proof ams

Post by QwareeqMathematics »

That's work very nice.

Now, I need to change the (.) after the word Proof in the environment to (:) with distance (\) between the word Proof and (:).

Thank you
User avatar
gmedina
Posts: 2313
Joined: Wed Jul 11, 2007 11:45 pm

proof ams

Post by gmedina »

QwareeqMathematics wrote:...Now, I need to change the (.) after the word Proof in the environment to (:) with distance (\) between the word Proof and (:)...
In the code that localghost posted, replace this line

Code: Select all

#1\@addpunct{.}]\ignorespaces
with

Code: Select all

#1\ \@addpunct{:}]\ignorespaces
1,1,2,3,5,8,13,21,34,55,89,144,233,...
QwareeqMathematics
Posts: 68
Joined: Mon Jul 06, 2009 7:44 pm

Re: proof ams

Post by QwareeqMathematics »

Nice result.

Thx ;)
Post Reply