Proclaiming Macros

plain TeX

%============================================================================================
% Proclaiming
% form: \type_of_proclaim{ number }{ text of proclaim }       
%--------------------------------------------------------------------------------------------
\def\proclamation#1#2#3#4{\long\def#1##1##2{\removelastskip
   \vskip\baselineskip\noindent{#3#2\if!##1!.\else\ ##1.\fi\ }
   {#4\ignorespaces##2}\vskip\baselineskip}}
%--------------------------------------------------------------------------------------------
% Lemma, Proposition, Theorem, Corollary, Claim
%--------------------------------------------------------------------------------------------
%   example: \lemma{1}{Text of lemma.}
%   result: skip two lines, flush left bold "Lemma 1.", 
%           slanted text, skip two lines
%--------------------------------------------------------------------------------------------
\proclamation\lemma{Lemma}{\bf}{\sl}
\proclamation\proposition{Proposition}{\bf}{\sl}
\proclamation\theorem{Theorem}{\bf}{\sl}
\proclamation\corollary{Corollary}{\bf}{\sl}
\proclamation\claim{Claim}{\bf}{\sl}
%--------------------------------------------------------------------------------------------
% Algorithm, Answer, Application, Case, Definition, 
% Example, Examples, Exercise, Notation, Note, Problem, 
% Question, Remark, Rule, Solution, Statement
%--------------------------------------------------------------------------------------------
%   example: \example{1}{Text of example.}
%   result: skip two lines, flush left bold "Example 1.", 
%           regular roman text, skip two lines
%--------------------------------------------------------------------------------------------
\proclamation\algorithm{Algorithm}{\bf}{\rm}
\proclamation\answer{Answer}{\bf}{\rm}
\proclamation\application{Application}{\bf}{\rm}
\proclamation\case{Case}{\bf}{\rm}
\proclamation\definition{Definition}{\bf}{\rm}
\proclamation\example{Example}{\bf}{\rm}
\proclamation\examples{Examples}{\bf}{\rm}
\proclamation\exercise{Exercise}{\bf}{\rm}
\proclamation\notation{Notation}{\bf}{\rm}
\proclamation\note{Note}{\bf}{\rm}
\proclamation\problem{Problem}{\bf}{\rm}
\proclamation\question{Question}{\bf}{\rm}
\proclamation\remark{Remark}{\bf}{\rm}
\proclamation\rule{Rule}{\bf}{\rm}
\proclamation\solution{Solution}{\bf}{\rm}
\proclamation\statement{Statement}{\bf}{\rm}
%============================================================================================
% Proof
%--------------------------------------------------------------------------------------------
% form: \proof       
%   example: \proof Text of proof.
%   result: skip two lines, flush left slant "Proof.", 
%           regular roman text
%--------------------------------------------------------------------------------------------
\long\def\proof{\removelastskip\vskip\baselineskip\noindent{\sl Proof.\quad}\ignorespaces}
%--------------------------------------------------------------------------------------------
% Assorted proof end markers
% form: \proofend      
%   result: move to right margin, put proof end marker, skip two lines
%--------------------------------------------------------------------------------------------
\def\square{\hbox{\rlap{$\sqcap$}$\sqcup$}}
\def\pfend{\hfill$\square$\vskip\baselineskip}
\def\proofend{\hfill{\vrule height .9ex width .8ex depth -.1ex}\vskip\baselineskip}
\def\pfendst{\hfill{$_{\star}\!^{\star}\!_{\star}$}\vskip\baselineskip}
\def\prenddia{\hfill$\diamondsuit$\vskip\baselineskip}
\def\prendbow{\hfill$\bow$\vskip\baselineskip}
%=================================================================

Heading Macros / Equation Numbering Macro

FSU Math Home Page

Last modified: 14 August 1995