<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">%This snt provides a title page for the document displaying
%the mathematical formulae. Its usefulness could be discussed when
%this document is printed only once in one font (however, it could 
%be anyway useful to mention the name of the used font and the name of authors).
%
%It will undoubtly be more useful when the document is typeset in all possible
%font and then merged in one single document. In that case, this page is very
%handy to separe the differents documents while giving some information
%about the font.
\pagestyle{empty}
\mbox{}
\vspace{15ex plus 2ex minus 1ex}
\PackageName
\vspace{5ex plus 2ex minus 1ex}
\TitleQuote
\par
\vspace{25ex plus 5ex minus 10ex}
\begingroup
   \bfseries
   \centerline{\Large Few formulÃ¦ and mathematical facts}\vspace{2ex plus .5ex minus .3ex}
   \centerline{\large For fun and to show the font}\vspace{2ex plus .5ex minus .3ex}
   \centerline{\large ``\MainDocFontName[\PoliceDesiree]''}
   \ifnum\PoliceDocument=\PoliceDesiree
       \vspace{2ex plus .5ex minus .3ex}
   \else
       \centerline{This font was not found and is replaced by}\vspace{1.5ex plus .5ex minus .3ex}
       \centerline{``\MainDocFontName[\PoliceDocumentParDefaut]''}\vspace{2ex plus .5ex minus .3ex}
   \fi
   \ifbool{FullTitle}{\centerline{\large A. Aubord and A. Tsolomitis, version: \Version, \today}}{}
\endgroup
\par
%
%If a font is not found and replaced by the default font, 
%it is not very useful to print the document (except the title page
%giving the name of the replaced font and an explanation for
%the reason of change). 
%
%In that situation, Two cases could happen: 
%    1) The document should be part
%       of a larger document containing examples of all the fonts, and thus
%       a version of the document will be certainly already printed with the 
%       default font.
%    2) One want a single document to show a specific font
%       but this latter one is not found. By changing a parameter
%       in the '\documentclass' declaration, one can simply
%       print the document with an other (hopefully existing) font.
\ifnum\PoliceDocument=\PoliceDesiree
  \relax
\else
  \expandafter\end{document}%
\fi

</pre></body></html>