%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 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\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
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begintitle
\title{Mathabx series}
\subtitle{Informations}
\author{Anthony Phan}
\endtitle

We are proud to introduce the {\tt 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 personnal 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:
$$
\hbox{\catcode`\~=12\tt http://wwwmathlabo.univ-poitiers.fr/~phan}
$$

About the quality of {\tt mathabx}'s symbols, we based
ourself mostly on {\tt 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.

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 d\'efinition 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 {\tt AMS} denomination, it is normally supported.
Below, every already known mathematical symbol ({\tt Computer Modern}
or {\tt 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.

\bigbreak

\let\proofmode=!
\input mathabx.tex

\comments

$$
\left\lfilet
\quad
\vcenter{\divide\hsize by 3\multiply\hsize by 2
Le texte qui suit consiste en la formulation des opi\-nions
de l'auteur, en la description de quelques commandes
qu'il a pu concevoir en lien avec les symboles cr\'e\'es,
et, finalement, en quelques tests d\'epourvus de sens.
On notera au passage que les bordures de cet alin\'ea
ont \'et\'e obtenues \`a l'aide de ces nouvelles fontes.}
\quad
\right\rfilet
$$

\section{Quelques opinions}

Nous avons pu consulter de nombreuses revues aussi bien par
int\'er\^et scientifique que typographique, leur parution s'\'etalant de
la fin du si\`ecle dernier \`a ces derniers mois.
En s'int\'eressant particuli\`erement aux symboles math\'ematiques,
nous avons pu remarquer que leur \'evolution a souvent,
voire toujours, \'et\'e d\'ephas\'ee par rapport \`a celle
des caract\`eres textuels.

Par \'evolution, il ne faut pas
entendre changement de type, mais r\'eellement \'evolution
au sein d'un m\^eme type.
L'\'electronique et de larges capacit\'es
de m\'emoire auront permis de diff\'erencier ce qui n'aurait
d\^u \^etre que divers stades de mutation de jeux typographiques
de base, mais lorsqu'il s'agit de caisses de plomb, l'archivage
et d\`es lors la diff\'erentiation ne sont plus gu\`ere possibles.
L'\'evolution se traduit dans ce cas par l'obsolescence compte
tenu de l'usure des plombs. L'historien peut faire la distinction,
l'utilisateur n'a gu\`ere de choix.

Quant au d\'ephasage affirm\'e, il peut s'expliquer par l'utilisation
moins fr\'equente des symboles math\'ematiques que des caract\`eres
textuels ---~au moins par \hbox{le pass\'e~---,} l'usure entre alors en jeu
et le remplacement sugg\`ere l'\'evolution ou du moins la favorise,
de plus la faible utilisation conduit \`a moins d'exigences esth\'etiques.

Mais les temps changent. C'est \`a notre avis entre le d\'ebut
des ann\'ees soixante et le milieu des ann\'ees soixante-dix
que la typographie math\'ematique (entendre le dessin des plombs)
conna\^\i t l'\'evolution la plus rapide. Les symboles
s'\'equilibrent (!! r\'ep\'etition),
des axes de sym\'etrie (axe math\'ematique notamment)
sont de plus en plus respect\'es ou mieux d\'efinis,
les graisses s'homog\'en\'e\"\i sent
et les dessins gagnent en sobri\'et\'e et surtout en portabilit\'e,
c'est-\`a-dire qu'ils s'\'equilibrent jusqu'\`a pouvoir s'harmoniser
avec les types courants de fontes de texte
(avatars du Modern ou du Times). 
\`A titre anecdotique, c'est probablement au cours de cette p\'eriode
que certains caract\`eres h\'ebreux furent int\'egr\'es aux jeux
math\'ematiques, et ainsi \'equilibr\'es par rapport \`a la compositon
latine. Par exemple, certains ouvrages ant\'erieurs de logique semblent avoir
eu recours \`a de v\'eritables fontes h\'ebra\"\i ques dont la ligne
de base ne co\"\i ncidait (alors) pas avec la ligne de base latine.

La parution de {\it The Art of Computer Programming}\/ de
Donald~E.~Knuth d\'ebuta au milieu des ann\'ees soixante,
alors que selon notre chronologie nous nous ne trouvions
qu'au premier tiers de la mutation d\'ecrite.
Knuth s'est largement fond\'e sur l'\'etat d'alors
pour composer le {\it Computer Modern}. les seules
v\'eritables \'evolutions port\`erent sur le romain
et elles furent appuy\'ees par Hermann Zapf. Le reste,
semble-t-il, est rest\'e en l'\'etat ou presque,
le plus d\'elaiss\'e ayant \'et\'e les symboles
math\'ematiques courants comme le sugg\`ere trop
cruellement la simplicit\'e du code correspondant
et, pire encore, ce que ce code pu inspirer par la suite.
 
Mais le {\it Computer Modern}\/ n'est pas la seule transcription
\'electronique \`a d\'ecevoir son apparente modernit\'e.
Notre avis tr\`es personnel est que le passage au digital
aura fait r\'egresser la typographie courante de plusieurs dizaines
d'ann\'ees, et cette r\'egression est toujours \`a ratrapper.
Il n'est bien s\^ur pas question de syst\`eme typo\-graphique
puisque \TeX\ s'apparente \`a un artisan tr\`es chevronn\'e
de la casse et de la matrice ---~bien qu'il s'agisse l\`a toujours
d'une exception.

L'aspect le plus terrible est le gel des codes~: que ce soit pour
le  {\it Computer Modern}\/ o\`u il s'agit d'un choix l\'egitime
de son auteur, ou pour les fontes commerciales, par exemple postscript,
 de r\'eelles modifications ne peuvent \^etre
r\'ealis\'ees. Dans le cas de fontes commerciales, cela tient en premier
lieu au type de codage~: le postscript, pour ne citer que lui,
n'est gu\`ere mal\'eable de sorte que son texte abscont se p\'etrifie
lui-m\^eme. La croyance commune, et bien ill\'egitime, que
le code obtenu refl\`ete n\'ecessairement un \'etat de perfection
exclut toute modification (majeure). Une autre contrainte,
bien artificielle selon nous, consiste en la permanence
des docu\-ments \'electroniques micron par micron, ce qui d\`es lors
oblige \`a la permanence des caract\'eristiques m\'etriques
des glyphes employ\'es. Esp\'erons que l'usage de l'HTML ou de
La\TeX, entre autres,
saura redonner plus de souplesse \`a la forme pour ne privil\'egier
que le maintient du sens ---~quitte \`a laisser aux typographes
la t\^ache ardue de faire d'un document structur\'e un objet
agr\'eable au regard.

\`A cet \'egard, un code MetaFont peut b\'en\'eficier d'une
souplesse \'evolutive sans commune mesure avec les codes
utilis\'es par ailleurs. C'\'etait bien entendu une des
propri\'et\'es initiales du syst\`eme con\c cu par Knuth.
Il est des voies meilleures que l'histoire oublie.
Effectuer un large travail selon celle-ci constitue
un manifeste pour l'utilisation et le privil\`ege
de MetaFont.

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

En plain\TeX\ ou en La\TeX, 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 {\tt matha} et est droit. On peut y
pr\'ef\'erer une ligne inclin\'ee pr\'esente dans la s\'erie
{\tt 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,
$$
ou 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\'e 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$

\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 {\tt computer
modern}'s ones, for instance parenthesis 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 supprted, these
are the ones that could be built with various extension moduli
as in {\tt 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$ \rlap{L}PPL.
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)\}$.

\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}
\section{La s\'erie de symboles majeurs~: matha}

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

\section{La s\'erie de symboles mineurs~: mathb}

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

\section{La s\'erie de symboles extensibles~: mathx}
{\centerlargechars
\def\fontname{mathx10 }
\startfont\table}
%{\centerlargechars
%\def\fontname{mathx5 }
%\startfont\table}

\section{Une s\'erie de symboles non support\'es~: mathu}

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

{\def\fontname{mathu10 }
\startfont\bigtest\math
}

\bye




