%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% TEST FOR MATH faces and symbols
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\magnification=\magstep1
\input testmac.tex
\input amssym.def
\input amssym
\long\def\comments#1\endcomments{}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% conservation des anciennes macros
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\let\Surd=\surd
\let\infinity=\infty
\let\voidset=\emptyset
\let\In=\in
\let\Subset=\subset
\let\Forall=\forall
\let\Exists=\exists
\let\Dagger=\dagger
\let\DDagger=\ddagger
\let\oldpartial=\partial
\let\oldflat=\flat
\let\oldnatural=\natural
\let\oldsharp=\sharp
\let\oldnorm=\|
\let\oldbigotimes=\bigotimes
\let\oldsum=\sum
\let\oldprod=\prod
\let\oldcoprod=\coprod
\let\oldoint=\ointop
\let\oldsqrt=\sqrt
\let\oldwidetilde=\widetilde
\let\oldwidehat=\widehat
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title{\shadedtext{Mathabx series}}
\subtitle{\shadedtext{Informations}}
\author{\shadedtext{Anthony Phan}}
\maketitle

%\font\currentfont=mathu10
%\currentfont

We are proud to introduce the\/ \shadedtext{mathabx} font series---extended
and extendable series of mathematical symbols.
Their creation has been motivated by the poor quality of some other
well spread series.
We first started to design anew a few symbols to reach a quite complete
system. But completeness is a quite relative notion. It depends on
previously available symbols, commonly used or not, on our very own
needs, and, at last, on our personal whim. 
This work must be subject to any (friendly) remark and every (warm)
encouragements. {\it This distribution is still (April 29, 2002)
at a ``merely for evaluation'' level. It is so since a couple of
years, but I still want to change a few symbols, especially some
large ones.}\/ Please check my home page at Poitiers (France) to
get further informations:
$$
{\catcode`\~=12\tt\shadedtext{http://www-math.univ-poitiers.fr/~phan}}
$$

About the quality of\/ {\it  mathabx}\/'s symbols, we based
ourself mostly on\/ {\it  Computer Modern}\/ to overpass it:
more complex mathematical constructions and designs,
carefull digitness. Since this is an unbounded task,
improvements are always conceivable, and observations
are welcome.

The great problem is the encoding matter. We tried to build
a coherent set. But this doesn't follow prescriptions of
the two or three groups working on this kind of question.
Our contribution is an element of reflection on this subject.

By now, there are 3 main series of fonts: \shadedtext{matha},
\shadedtext{mathb} and \shadedtext{mathx}. The {\it  matha}\/
series consist in quite usual mathematical symbols, more precisely it
contains the, say, 64 mathematical symbols one can use
and suppose other ones know their meaning. The {\it  mathb}\/
series is a kind of twin of {\it  matha}, but it is the one
people should not show outside of the house: these symbols
do not have a very well known meaning and, thus, should not
be used. The {\it  mathx}\/ series is the set of extensible
delimiters and large operators fitting {\it  matha}\/ and
{\it  mathb}\/; its encoding doesn't match at all the {\it  cmex}\/'
one, but it may change in the future.

Since a metafont designer doesn't always know when to stop
creating or coding stuff, many pieces of code remained once
the three former series where filled. The remaining stuff
has been putted in {\it  mathu}\/ ({\it u}\/ stands for
unsupported) and in {\it  mathux}\/ ({\it ux}\/ stands for
unsupported extensible). These two series also contain
``work in progress''-material as a full OT1 implementation
of calligraphic characters. If this last task find an end,
there would be a \shadedtext{mathc} series---where {\it c}\/ would
stand for calligraphic.
 
Let's go for the essential stuff. Thereafter will be loaded
plain\TeX\ definitions files related to these fonts families.
Assigning any value to the control sequence\/ {\tt\string\proofmode}
like\/ {\tt\string\let\string\proofmode=!}, for instance,
the definition of every symbol will be made together with the
print of the related informations. The control sequence
{\tt\string\proofmode} will be reset to\/ {\tt\string\undefined}
at the end of the loading.

About the names of the different control sequences, we mostly tried
to conform usual names. If in the following there is some apparent
mismatch with\/ {\it AMS}\/ denomination, it is normally supported.
Below, every already known mathematical symbol ({\it Computer Modern}\/
or\/ {\it AMS}\/) is printed before the new one and surrounded by
parentheses.

Part of this documentation is in some poor english, the other in a
not so better french. We do apologize for this.

\section{Progress}

\subsection*{April 29, 2002}
First posting on CTAN.

\subsection*{June 19, 2002}
A few changes have been done:

\item{$\bullet$}
Some large symbols are now thicker (\cs{\bigcup}, etc.);

\item{$\bullet$}
``Flat cups'' have been introduced (\cs{\bigcup}, etc.),
that means that the roundish parts of those symbols are
now ``flatter''.

\subsection*{November 16, 2002}

\item{$\bullet$}
Some work has been done on the calligraphic set. The uppercase
subset should be exactly the Computer Modern's one. So
kerning has to be done in order to get a nice stuff.

\item{$\bullet$}
The series\/ {\it mathux}\/ are in progress. It will contain
more extensible symbols (unnecessary I think, so still unsupported).

\item{$\bullet$}
Binary operators {\tt\string\sprod} and {\tt\string\scoprod}
have been added to {\it matha}\/ at locations {\tt"3C} and {\tt "3D}.
I love those symbols and I believe that they must lie on the
main symbols series.

\subsection*{July 29, 2003}

\item{$\bullet$}
Some \LaTeX' bugs have been fixed in {\tt mathabx.dcl}
with the help of some very kind users (Patrick Cousot, Hung N. Duong).

\item{$\bullet$}
The file {\tt mathgrey.mf} is no longer used. That means
that {\tt mathu10} has no more grey characters. It seems that
those characters are not compatible with some postscript
or such translation (with {\tt TeXtrace} for instance).

\item{$\bullet$}
The \LaTeX\ style file {\tt mathabx.sty} allows options
which are {\tt matha}, {\tt mathb} and {\tt mathx}.
These options define which series will be used.
If no option is given, the three series will be used.
(The plain\TeX\ file {\tt mathabx.tex} does not allow
anything of this kind.) 

\subsection*{October 23, 2003}

\item{$\bullet$} The {\tt\string\bar} and {\tt\string\widebar}
accents have changed of height (which is now smaller).

\item{$\bullet$} Arrows have a wider breadth and a lighter
head.

\item{$\bullet$} A little work on digits has been done.

\item{$\bullet$} Double brackets formerly named
{\tt\string\lbbbrack} and {\tt\string\rbbbrack} are now
named {\tt\string\ldbrack} and {\tt\string\rdbrack}, and
they still have their curious aliases {\tt\string\lsemantic}
and {\tt\string\rsemantic}.

\section{List of every mathabx' symbols}

\let\proofmode=!
\fuzzytext
\input mathabx.tex
\normaltext

\section{Use with plain\TeX}

The basic input file is {\tt mathabx.tex}. It requires {\tt mathabx.dcl}
which is common to plain\TeX\ and \LaTeX. So one should type
$$
	\cs{\input\ mathabx.tex}
$$
at the beginning of his (her) plain\TeX\ document. This sets up
all the symbols previously described and defines $3$ new families
of mathematical symbols whose numbers are \cs\mathafam,
\cs\mathbfam\ and \cs\mathxfam. Pointsizes are $10\,\rm pt$, {\it i.e.},
textstyle is $10\,\rm pt$, scriptstyle is $7\,\rm pt$
and scriptscriptstyle is $5\,\rm pt$ for \cs\mathafam\ and \cs\mathbfam\
families. For \cs\mathxfam\ the three styles correspond to a pointsize
equal to $10\,\rm pt$ as for {\tt cmex} in plain\TeX. Changing pointsizes
is easy since any plain\TeX user know how to do so (one can also look
into {\tt mathabx.tex} to make sure).

\section{Use with \LaTeX}

The basic package is {\tt mathabx.sty}. It requires {\tt mathabx.dcl}
which is common to plain\TeX\ and \LaTeX. So one should type
$$
	{\tt\cs\usepackage\{mathabx\}}
$$
in the preamble of his (her) \LaTeX\ document. This sets up
all the symbols previously described and defines $3$ new families
of mathematical symbols whose \LaTeX\ names are {\tt matha},
{\tt mathb} and {\tt mathx} (according to \LaTeX' font selection scheme).
These families behave as expected with pointsize changes.
The possible options of the {\tt mathabx} package are
{\tt matha}, {\tt mathb} and {\tt mathx}. They allow to select
which families would be actually defines. For instance
$$
	{\tt\cs\usepackage[matha,mathx]\{mathabx\}}
$$
ignores the {\it mathb} family and load only {\it matha}\/
and {\it mathx}\/ families. Remember that no option means
that the three families would be loaded. No individual
symbol selection has been setted. If one wants to use only,
say, a couple of symbols in the {\it mathabx}\/ series,
he (she) would have to it by him(her)self. 

\section{La commande \tt\string\not}

En plain\TeX\ ou en \LaTeX, la commande\/ {\tt\string\not}
ne fait qu'invoquer un caract\`ere particulier (ligne inclin\'ee)
avec la valeur de relation. Ce caract\`ere, qui est de longueur
nulle, recouvre le caract\`ere suivant d'autant mieux que  son
mode d'espacement est du type relation et que sa largeur a une
certaine valeur (celle des signes\/ $+$ ou\/ $=$). Autrement, le
recouvrement peut \^etre assez mauvais (en fait, inadapt\'e).

\par

Dans les s\'eries pr\'esent\'ees ici, certaines n\'egations
ont \'et\'e d\'efinies. Il semblait alors souhaitable que
la commande\/ {\tt\string\not} suivie par l'appel d'un caract\`ere
poss\'edant sa n\'egation propre ait pour r\'esultat cette derni\`ere.
Il suffisait pour cela de d\'efinir\/ {\tt\string\not} comme une
commande \`a un argument qui teste si cet argument est une commande
dont la n\'egation est d\'efinie
(si celle-ci est\/ {\tt\string\xxx}, le test porte sur l'existence
de\/ {\tt\string\notxxx} ou de\/ {\tt\string\nxxx}),
auquel cas ce sera elle qui sera appliqu\'ee, sinon 
(si l'argument n'est pas une commande, par exemple si c'est un caract\`ere,
ou si la n\'egation n'est pas d\'efinie) la m\'ethode
de superposition sera utilis\'ee.

\par

Le caract\`ere de n\'egation est appel\'e par\/ {\tt\string\notsign},
il appartient \`a la s\'erie\/ {\it matha}\/ et est droit. On peut y
pr\'ef\'erer une ligne inclin\'ee pr\'esente dans la s\'erie
{\it mathb}\/ et nomm\'ee\/ {\tt\string\varnotsign}. Il suffit alors
d'\'echanger les noms. C'est ce que fait la commande
{\tt\string\changenotsign} et ce de mani\`ere
\'eventuellement locale.
Ainsi on aura~:
$$
A\not=B
\qquad\hbox{\tt\string\changenotsign}\qquad
\changenotsign
A\not=B
$$
bien qu'on doive pr\'ef\'erer sur cet exemple l'emploi
de la commande\/ {\tt\string\neq}~:\/ $A\neq B$.
Ci-dessous nous avons recours \`a la commande\/ {\tt\string\not}
(sauf pour\/ {\tt\string\neq}) pour des relations dont la n\'egation
est d\'efinie~:
$$
a=b\neq c\equiv d\not\equiv e\sim f\not\sim g \approx h\not\approx i
\simeq j\not\simeq k\cong l\not\cong m,
$$
puis pour des relations (entre autres) dont la n\'egation
n'est pas d\'efinie~:
$$
\changenotsign
a\topdoteq b\not\topdoteq c\botdoteq d\not\botdoteq
e\dotseq f\not\dotseq g
\changenotsign
\risingdotseq h\not\risingdotseq i
\fallingdotseq j\not\fallingdotseq
\changenotsign
k S l\not S m,
$$
o\`u on se sera servi de\/ {\tt\string\changenotsign}
\`a certains endroits. Il est \`a remarquer que
l'espacement est perturb\'e de mani\`ere coh\'erente,
c'est-\`a-dire de la m\^eme fa\c con qu'il l'aurait \'et\'e
par le\/ {\tt\string\not} classique.
\par
Nous avons aussi d\'efini la commande\/ {\tt\string\varnot}
de fonctionnement semblable \`a celui de l'instruction
{\tt\string\not}~:\/ {\tt\string\varnot\string\xxx} teste si
{\tt\string\varnotxxx} est d\'efini et, si oui ex\'ecute
cette derni\`ere, sinon applique\/ {\tt\string\varnotsign\string\xxx}.
Nous reprenons la formule pr\'ec\'edente avec cette commande~:
$$
a\topdoteq b\varnot\topdoteq c\botdoteq d\varnot\botdoteq
e\dotseq f\varnot\dotseq g
\risingdotseq h\not\risingdotseq i
\fallingdotseq j\not\fallingdotseq
k S l\varnot S m,
$$
o\`u on ne voit aucune diff\'erence. En revanche,
$$
a=b\varnot= c\equiv d\varnot\equiv e\sim f\varnot\sim g
\approx h\varnot\approx i
\simeq j\varnot\simeq k\cong l\varnot\cong m
$$
emploie dans ce cas uniquement la m\'ethode de juxtaposition.

\section{Num\'eration maya}

La pr\'esence de chiffres mayas dans ces s\'eries
n'est li\'ee qu'\`a l'histoire du d\'evelop\-pement
de celles-ci. Nous d\'esirions au d\'epart conserver
quelques ressemblances avec les s\'eries destin\'ees
au texte (caract\`eres alphab\'etiques et num\'eraux).
L'absence ou la raret\'e de possibilit\'e de composer
selon des num\'erations anciennes nous aura pouss\'e
\`a nous y int\'eresser un peu. Le r\'esultat est
illustr\'e ci-dessous~: 
$$
\mayadelimiters([,])
\maya{1251}+\maya{2135}=\maya{3386}\neq\mayadigit{0}.
$$
Cette ligne aura \'et\'e cod\'ee selon
\smallbreak
{\tt\string\mayadelimiters([,])\par
\string\maya$\{$1251$\}$%
+%
\string\maya$\{$2135$\}$%
=%
\string\maya$\{$3386$\}$%
\string\neq
\string\mayadigit$\{$0$\}$}.
\smallbreak
\noindent
Maintenir les caract\`eres et les commandes
correspondantes dans cet ensemble est toujours
sujet \`a questions.

\section{La commande\/ {\tt\string\prime} et ses amies}

Nous avons r\'eintroduit les signes\/ {\tt\string\prime}
multiples associ\'es aux commandes\/ {\tt\string\prime},
{\tt\string\second},\/ {\tt\string\third} et\/ {\tt\string\fourth}.
Une commande naturellement associ\'ee est\/ {\tt\string\degree}
correspondant \`a un symbole semblable \`a celui appel\'e
par\/ {\tt\string\circ}. Il est n\'eanmoins diff\'erent car
il doit \^etre homog\`ene \`a l'ensemble des symboles
pr\'ec\'edents (comparer\/ $44^\circ$ et\/ $44^\degree$).
$$
44^\degree+36^\prime+89^\second+46^\third+99^\fourth
$$
La construction habituelle ({\it i.e.}\/ {\tt 99''''})
supporte une propri\'et\'e de ligaturage
sur les caract\`eres correspondants.
C'est ce que l'on voit ci-dessous~:
$$
44^\degree+36'+89''+46'''+99'''',
\qquad
\hbox{mais}
\quad
99'''''
\quad
\hbox{ou}
\quad
99''''''''.
$$
(Il faut y regarder de tr\`es pr\`es pour y voir
ce qu'il faut voir\dots)

\section{Essais divers}

$$
\displaylines{
G\triangleleft H\trianglelefteq A \trianglerighteq B \triangleright C
\cr
|G|\not\triangleleft|H|\not\trianglelefteq|A|
\not\trianglerighteq|B|\not\triangleright|C|
\cr
\infty^{\infty^\infty}
\qquad
\infinity^{\infinity^\infinity}
\qquad
\in^{\in^\in}
\qquad
\subset^{\subset^\subset}
\qquad
\subseteq^{\subseteq^\subseteq}
\qquad
<^{<^<}
}
$$
On a\/ $\mu\ll\nu$,
mais plus encore\/ $\emptyset\lll\infty$.
Rappelons que pour toute mesure\/ $\mu$ sur\/ $E$,
$\mu(\emptyset)=0$. D'autre part,\/ $\sup\emptyset=0$ et
$\inf \emptyset=\infty$. Si\/ $f\lll g$,
ou de fa\c con \'equivalente\/ $f=o(g)$, alors\/ $f=O(g)$.
Lorsque\/ $x\not s\not S\not a\not=\not\ni\not\in\not\infty
=\infinity$, on a\/ $f(x)<\infty$.

\medbreak

$\rip{}\rip\rip\rip$
$<\leq\ll$ $>\ggg\geq\gg$
$$
{\partial f\over\partial x}(x)
\simeq
{\oldpartial f\over\oldpartial x}(x)
\qquad
\oldflat\flat\oldnatural\natural\oldsharp\sharp\hbox{bof bof}
$$
$$
\oldnorm T(h)f-f\oldnorm=\|T(h)f-f\|
$$
$$
A\cap B\cup C\uplus D \vee E\wedge F
$$
$$
A\sqcap B\sqcup C\squplus D \veebar E\barwedge F\veedoublebar G
\doublebarwedge F \curlyvee H \curlywedge I
$$
$\dagger\Dagger$
$\ddagger\DDagger$
$\ A^{\dagger^\dagger}
\cdot A^{\Dagger^\Dagger}$
$A\Asterisk A\coAsterisk\{y\}\star\asterisk$
$\surd\Surd$
\medbreak

$\forall x\in y^\perp,\ \exists S\subseteq R,
\ \exists x,\ (\Exists x),\quad
z\cap y,\ x\in y$

\medbreak

$f\mapsto g\longmapsto h$
$f\hookrightarrow g \hookleftarrow h$
$A\Mapstochar\Relbar\joinrel\Rightarrow B
\Leftarrow\joinrel\Relbar\Mapsfromchar C$
$a\leftsquigarrow b\leftrightsquigarrow
c\rightsquigarrow d$
$$
\displaylines{
\int\int\int_0^t f\circ g(x)\,dx=
\int\iint_0^t f\circ g(x)\,dx=
\iiint_0^t f\circ g(x)\,dx
\cr
\int_0^t\oldoint\oint_C f\circ g(x)\,dx=
\oiint_S f\circ g(x)\,dx
\cr
\prod_{i=0}^{i=n}\prod_{j=0}^{j=n}
\prod_{k=0}^{k=n}\Gamma^{ij}_k
=
\prod_{i=0}^{i=n}\coprod_{j=0}^{j=n}
\prod_{k=0}^{k=n}\Gamma^{ij}_k
=
\coprod_{i=0}^{i=n}\coprod_{j=0}^{j=n}
\coprod_{k=0}^{k=n}\Gamma^{ij}_k
=
\oldprod_{i=0}^{i=n}\oldcoprod_{j=0}^{j=n}
\oldprod_{k=0}^{k=n}\Gamma^{ij}_k
\cr
\prod_{i=0}^{i=n}\prod_{j=0}^{j=n}
\prod_{k=0}^{k=n}\Gamma^{ij}_k
=
\biggl(\prod_{i=0}^{i=n}\sum_{j=0}^{j=n}
\prod_{k=0}^{k=n}\Gamma^{ij}_k\biggr)
=
\biggl[
\sum_{i=0}^{i=n}\sum_{j=0}^{j=n}
\sum_{k=0}^{k=n}\Gamma^{ij}_k\biggr]
=
\biggl[\oldsum_{i=0}^{i=n}\oldsum_{j=0}^{j=n}
\oldsum_{k=0}^{k=n}\Gamma^{ij}_k\biggr]
\cr
\bigcup_{i=0}^{i=n}\bigcap_{j=0}^{j=n}
\bigcup_{k=0}^{k=n}\Gamma^{ij}_k
=
\bigcup_{i=0}^{i=n}\bigvee_{j=0}^{j=n}
\bigcup_{k=0}^{k=n}\Gamma^{ij}_k
=
\bigcup_{i=0}^{i=n}\bigwedge_{j=0}^{j=n}
\bigcup_{k=0}^{k=n}\Gamma^{ij}_k
=
\bigvee_{i=0}^{i=n}\bigwedge_{j=0}^{j=n}
\bigvee_{k=0}^{k=n}\Gamma^{ij}_k
\cr}
$$
Comme on le voit ci-dessus, il y a encore du boulot \`a faire
pour \'equilibrer l'aligne\-ment de certains symboles.


\section{Delimiters}

The whole set of extensible delimiters is presented below.
Some of those delimiters are quite close to\/ {\it Computer
Modern}\/'s ones, for instance parentheses are almost the same.
By now there are a few differences. Left and right groups
are fully supported, i.e. every sizes exist. Moustaches
are built in the font but not in a satisfactory way, so
that the corresponding control sequences have not been
written down. Some vertical lines are not supported, these
are the ones that could be built with various extension moduli
as in\/ {\it Computer Modern}.
$$
\displaylines{
(X,X)=[X,X]=\{X,X\}=
\langle X^c,X^c\rangle
\equiv
[X^c,X^c]
=
\ulcorner X\urcorner
=
\llcorner X\lrcorner
=
\ulcorner X\lrcorner
=
\llcorner X\urcorner
\cr
\testdelimiter{normal}
\cr
\testdelimiter{big}
\cr
\testdelimiter{Big}
\cr
\testdelimiter{bigg}
\cr
\testdelimiter{Bigg}
\cr
\testdelimiter{biggg}
\cr
\testwideaccent{\skew3\widehat}
\cr
\testwideaccent{\skew3\oldwidehat}
\cr
\testwideaccent{\skew3\widecheck}
\cr
\testwideaccent{\skew3\widetilde}
\cr
\testwideaccent{\skew3\oldwidetilde}
\cr
\testwideaccent{\skew3\widearrow}
\cr
\testwideaccent{\skew3\wideparen}
\cr
\testwideaccent{\skew3\widering}
\cr
\overleftarrow{IIIIIIIIIIIIIIIIIIIIIIIIIII}
\cr
\testwideaccent{\skew3\widebar}
\cr
\ddddot y -4\dddot y +5x\ddot y +f(x)\dot y=g(x)\in\ring C}
$$
According to Matthias Clasen's construction:
$$
\overbrace{\underbrace{HHHHHHHHHH}}^{AAAAAAAAAAAA}_{HHHHHHHHHHH}
\qquad
\overgroup{\undergroup{HHHHHHHHHH}}^{AAAAAAAAAAAA}_{HHHHHHHHHHH}
$$

$$
\sqrt a \oldsqrt a
\quad
\sqrt p \oldsqrt p
\quad
\sqrt A \oldsqrt A
\quad
\sqrt{B} \oldsqrt{B}
\quad
\sqrt{a\over a} \oldsqrt{a\over a}
$$

\section{Symboles astronomiques}

{\it The Earth\/~$\Earth$ (or\/~$\varEarth$)
is in rotation around the Sun\/~$\Sun$
like Mercury\/~$\Mercury$, Venus\/~$\Venus$,
Mars\/~$\Mars$, Saturn\/~$\Saturn$, Jupiter\/~$\Jupiter$,
Uranus\/~$\Uranus$, Neptune\/~$\Neptune$ and Pluto\/~$\Pluto$.
But the Moon\/~$\Moon$ is not.}

{\rm La terre~$\Earth$ (ou~$\varEarth$) est en rotation autour du soleil
$\Sun$ comme Mercure~$\Mercury$, V\'enus~$\Venus$,
Mars~$\Mars$, Saturne~$\Saturn$, Jupiter~$\Jupiter$,
Uranus~$\Uranus$, Neptune~$\Neptune$ et Pluton~$\Pluto$
(in {\tt cm}, one can have \rlap{L}P quite easily).
Mais la lune~$\Moon$ ne l'est pas.}

Nous ne dirons rien de\/ $\Aries$ ni de\/ $\Taurus$ qui ne sont
que des symboles astrologiques et, d\`es lors,
indignes de notre int\'er\^et.
 
Bien \'evidemment, certains symboles poss\`edent un {\it alias}\/
comme\/ {\tt\string\girl} et\/ {\tt\string\boy}~:
$\{(\boy,\boy),(\boy,\girl),(\girl,\boy),(\girl,\girl)\}$.
C'est absolument fondamental pour un exercice sur le calcul
de probabilit\'es conditionnelles\dots

\section{Unsupported}

\font\unsupported=mathu10

\leavevmode{\unsupported
\rlap{\char"DD}\char"D8
\rlap{\char"DE}\char"D8
\rlap{\char"DF}\char"D8
\rlap{\char"FD}\char"F9
\rlap{\char"FE}\char"F9
\rlap{\char"FF}\char"F9
}
\def\greekfill{\hss\cleaders\hbox{\unsupported\char"9D}\hfill}%
\def\ghaneanfill{\hss\cleaders\hbox{\unsupported\char"9E}\hfill}%
\par\noindent
\line{\greekfill}
\line{\ghaneanfill}

\newpage

\section{Mathabx font tables}

\subsection{Matha, major symbols series}

{\def\fontname{matha10 }
\startfont\table}
%{\def\fontname{matha5 }
%\startfont\table}

\newpage

\subsection*{Mathb, minor symbols series}

{\def\fontname{mathb10 }
\startfont\table}
%{\def\fontname{mathb5 }
%\startfont\table}

\newpage

\subsection*{Mathx, major extensible symbols series}
{\centerlargechars
\def\fontname{mathx10 }
\startfont\table}
%{\centerlargechars
%\def\fontname{mathx5 }
%\startfont\table}

\newpage

\subsection*{Mathux, unsupported extensible symbols series}

{\centerlargechars
\def\fontname{mathux10 }
\startfont\table}
%{\centerlargechars
%\def\fontname{mathx5 }
%\startfont\table}

\newpage

\subsection*{Mathu, unsupported symbols series}

{\unsupported
The series\/ {\tt mathu} have some features that may interest
people: it contains the whole set of calligraphic characters
of\/ {\tt cmsy} and also extends it. The first part of this extension
is the latin lowercase letters, and also the punctuation which
make it a quite complete OT1 font. This part of the extension is due
to me. Hebrew characters have been converted to MetaFont,
adapted and extended (dagesh sign) also by me, but the source
is some commercial font. The pseudo-mathematical symbols which come next
are just symbols that have been created beside regular series.}

\docomparison{mathu10 }{cmsy10}from 65 to 90.
\docomparison{cmsy10 }{cmmi10}from 65 to 90.
\docomparison{mathu10 }{cmmi10}from 65 to 90.
\docomparison{mathu10 }{cmmi10}from 97 to 122.

\UsualTest{mathu10 }


\subsection*{Random test of gray}

{\font\currentfont=mathu10\currentfont
xoxoxoxoxoxaxaxaxaxaxexexexexnencnencnono
\mixfrom 65 to 122.}


\bye




