%% defmd.tex %%
\def\inu#1{{\FaSd\cAP #1}~}
\def\inua#1{{\FaSd\cAP #1 Algor.}~}
\def\inuc#1{{\FaSd\cAP #1 Coroll.}~}
\def\inuj#1{{\FaSd\cAP #1 Cong.}~}
\def\inue#1{{\FaSd\cAP #1 Esempio}~}
\def\inul#1{{\FaSd\cAP #1 Lemma}~}
\def\inup#1{{\FaSd\cAP #1 Prop.}~}
\def\inuq#1{{\FaSd\cAP #1 Problema}~}
\def\inut#1{{\FaSd\cAP #1 Teorema}~}
\def\inux#1{{\FaSd\cAP #1 Eserc.}~}

\def\aIND{A0:}   % indice
\def\aAA{A1:}    % introduzione
\def\cSIN{A2:}   % comunicazione, stringhe e interi naturali
\def\iFIN{A3:}   % insiemi finiti
\def\pRNP{A4:}   % prodotto di insiemi e di naturali e notazioni posizionali
\def\fMRF{A5:}   % funzioni, matrici e relazioni finite
\def\iNIA{A6:}   % insiemi numerabili e insiemi astratti
%%%\def\iNU{A5:}     % insiemi e numeri 
\def\nRPC{A7:}   % numeri relativi e piano combinatorio 1
\def\nRAT{A8:}   % numeri razionali (e piano razionale)
\def\aMOD{A9:}   % Divisibilita` e aritmetica modulare
\def\gPZZ{AA:}   % Geometria del piano combinatorio 
\def\gPQQ{AB:}   % Geometria del piano razionale
\def\aLIN{AC:}   % Algebra lineare 1 (negli spazi sui razionali)
\def\sMEN{AD:}   % Successioni e matrici enumerative 1
\def\cREA{AE:}   % Numeri costruibili e numeri reali
\def\gPRR{AF:}   % Piano e prime funzioni sui reali 
\def\sEUT{AG:}   % Spazi euclidei e prime nozioni di topologia
\def\iLSS{AH:}   % Limiti di successioni
\def\sERN{AI:}   % Serie numeriche
\def\lCFR{AJ:}   % Introduzione del calcolo differenziale
\def\cDIF{AK:}   % Derivate e andamento delle funzioni (Introduzione del calcolo differenziale)
\def\cINT{AL:}   % Introduzione del calcolo integrale
\def\nCPX{AM:}   % Numeri complessi
\def\gACS{AN:}   % Le nozioni di gruppo, anello, campo e spazio vettoriale
\def\rEL{AP:}    % La nozione di relazione
\def\fUN{AQ:}    % Funzioni, partizioni, equivalenze, chiusure
\def\oREA{AR:}   % Insiemi ordinati, reticoli e arborescenze
\def\sLAU{AS:}   % Stringhe, linguaggi formali e automi (ex sLI)
\def\cPRP{AU:}   % Calcolo proposizionale e algebre di Boole
\def\cPRD{AV:}   % Calcolo dei predicati
\def\tFRM{AW:}   % Introduzione alle teorie formali ??
\def\tAIR{AX:}   % Cenni alle teorie assiomatiche: insiemi e reali (ex AG)
\def\pCO{B1:}    % geometria nel piano combinatorio
\def\cPZ{B2:}    % configurazioni in nel piano combinatorio
\def\sGR{B3:}    % strutture grafiche grafi non orientati
\def\dGR{B4:}    % digrafi, raggiungibilit\`a 2
\def\aGR{B5:}    % strutture grafiche arricchite
\def\aRB{B6:}    % arborescenze 2
\def\tNUM{B9:}   % teoria dei numeri ?
\def\sTAL{C0:}   % strutture algebriche
\def\iPRT{C1:}   % partizioni di interi
\def\gPRM{C2:}   % gruppi finiti di permutazioni
\def\aCP{C4:}    % anelli, campi, polinomi, serie formali
\def\sVTR{C5:}   % spazi vettoriali  \sVE
\def\sVPI{C6:}   % spazi conn prodotto interno (reale)  \sPR
\def\sAFE{C7:}   % spazi affini ed euclidei  \sAE
\def\sHLB{C9:}   % spazi di Hilbert   \sHI
\def\gPD{31:}    % grafi planarita` dualita`
\def\gCN{32:}    % grafi connettivita`
\def\gPO{33:}    % grafi poliedrali
\def\gGP{35:}    % grafi e gruppi
\def\mGC{46:}    % matroidi e geometrie combinatorie
\def\iMR{47:}    % inversione di Mobius--Rota
\def\aLR{50:}    % automi e linguaggi razionali
\def\aAT{51:}    % applicazioni di automi e trasduttori
\def\gRM{52:}    % grammatiche
\def\aCY{57:}    % algoritmi, computabilit\`a  52
\def\tCO{58:}    % macchine di Turing e computers     53
\def\cCO{59:}    % complessita` computazionale 54
\def\iPC{60:}    % informazioni e probabilit\`a discrete codici
\def\cCC{61:}    % codici a correzione d'errori e crittografia
\def\cRP{62:}    % problemi di crittografia
\def\qLA{63:}    % quadrati latini
\def\dBL{64:}    % disegni a blocchi e strutture di incidenza
\def\qLS{67:}    % segni dei quadrati latini
\def\qMA{68:}    % quadrati magici
\def\fDL{70:}    % fattorizzazione e decomposizione dei linguaggi
\def\aKL{72:}    % algebre di Kleeene
\def\oAL{73:}    % operatori additivi sui monoidi liberi
\def\cPA{75:}    % combinatorica delle parole
\def\pFI{76:}    % parole finite ed infinite
\def\lYN{78:}    % sistemi di Lyndenmayer
\def\tLP{80:}    % Traduzione dei linguaggi di programmazione
\def\aLX{81:}    % Analisi lessicale
\def\aSY{82:}    % Analisi sintattica
\def\pLL{84:}    % Parsing LL
\def\pLR{85:}    % Parsing LR

\def\abs{{\hbox{\rm abs}}}
\def\ABSD{{\hbox{\FaSs ABsd}}}
\def\ABDS{{\hbox{\FaSs ABds}}}
\def\Adh{{\hbox{\rm ADh}}}
\def\Adjg{{\hbox{\sl Adjg}}}
\def\Affcl{{\hbox{\FaSd Affcl}}}
\def\Alf{{\hbox{\FaSd Alf}}}
\def\Alg{{\hbox{\FaSd Alg}}}
\def\Algn{{\hbox{\AMb lgn}}}
\def\Algu{{\hbox{\FaSd Algu}}}
\def\AlguAb{{\hbox{\FaSd AlguAb}}}
\def\AlguNab{{\hbox{\FaSd AlguNab}}}
\def\Alt{\hbox{\Acl{\sl lt}}}
\def\amm{{\rm amm}}
\def\Aopr{{\hbox{\FaSd Aopr}}}
\def\Arb{{\hbox{\FaSd Arb}}}
\def\ArbD{{\hbox{\FaSd ArbD}}}
\def\Arc{{\hbox{\FaSd Arc}}}
\def\arccot{{\hbox{\rm arccot}}}
\def\Area{{\hbox{\sl Area}}}
\def\arg{{\hbox{\rm arg}}}
\def\Artm{{\hbox{\sl Artm}}}
\def\Asymm{{\hbox{\FaSd Asymm}}}
\def\Atom{{\hbox{\rm Atom}}}
\def\Attc{{\hbox{\sl Attc}}}
\def\Augm{{\hbox{\FaSd Augm}}}
\def\Aut{{\hbox{\rm Aut}}}
\def\Autm{{\hbox{\FaSd Autm}}}
\def\AutmD{{\hbox{\FaSd AutmD}}}
\def\AutmNd{{\hbox{\FaSd Autm$D\!\!\!\!/$}}}
\def\Autmu{{\hbox{\FaSd Autm$\mu$1}}}
\def\AutmNdu{{\hbox{\FaSd Autm$D\!\!\!\!/$1}}}
\def\AutmDu{{\hbox{\FaSd AutmD1}}}
\def\ba{{\hbox{\FaSs ba}}}
\def\baf{{\hbox{\FaSs baf}}}
\def\bal{{\hbox{\FaSs bal}}}
\def\ball{{\hbox{\FaSs ball}}}
\def\bDia{{\hbox{\sl bDia}}}
\def\boole{{\rm boole}}
\def\Babs{{\hbox{\FaBi Babs}}}
\def\bij{{\rm bij}}
\def\Blalg{{\hbox{\FaSd Blalg}}}
\def\BlLatt{{\hbox{\FaSd LattBl}}}
\def\Bpir{{\hbox{\sl Bpir}}}
\def\Bpirr{{\hbox{\sl Bpirr}}}
\def\Bprsm{{\hbox{\sl Bprsm}}}
\def\cara{{\hbox{\rm char}}}
\def\card{{\hbox{\rm card}}}
\def\Card{{\hbox{\sl Card}}}
\def\cbd{{\hbox{\FaSs cbd}}}
\def\cbins{{\hbox{\FaSs cbins}}}
\def\Centrsym{{\hbox{\sl Centrsym}}}
\def\cexg{{\rm cexg}}
\def\char{{\hbox{\sl char}}}
\def\clsf{{\rm clsf}}
\def\Clsf{{\hbox{\FaSd Clsf}}}
\def\clsy{{\rm clsy}}
\def\Clsy{{\hbox{\FaSd Clsy}}}
\def\CMLU{{\hbox{\FaSs CMLU}}}
\def\Cmpl{\hbox{\FaDh C}}
\def\cnst{{\rm cnst}}
\def\Cntr{{\hbox{\sl Cntr}}}
\def\cnty{{\hbox{\sl cnty}}}
\def\Cnvx{{\hbox{\FaSd Cnvx}}}
\def\Coat{{\hbox{\rm Coat}}}
\def\cod{\hbox{\rm cod}}
\def\connx{{\hbox{\sl connx}}}
\def\cpab{\lg a,b\rg}
\def\cpac{\lg a,c\rg}
\def\cpba{\lg a,b\rg}
\def\cpbd{\lg a,d\rg}
\def\cpcd{\lg a,d\rg}
\def\cpde{\lg d,e\rg}
\def\cpef{\lg e,f\rg}
\def\cpii{\lg i,i\rg}
\def\cpij{\lg i,j\rg}
\def\cpik{\lg i,k\rg}
\def\cphj{\lg h,j\rg}
\def\cphk{\lg h,k\rg}
\def\cpjk{\lg j,k\rg}
\def\cpkh{\lg k,h\rg}
\def\cpmn{\lg m,n\rg}
\def\cpnm{\lg n,m\rg}
\def\cpnn{\lg n,n\rg}
\def\cppq{\lg p,q\rg}
\def\cprs{\lg r,s\rg}
\def\cptu{\lg t,u\rg}
\def\cpuv{\lg u,v\rg}
\def\cpxy{\lg x,y\rg}
\def\cpzrzr{\lg 0,0\rg}
\def\cpzron{\lg 0,1\rg}
\def\cponzr{\lg 1,0\rg}
\def\cponon{\lg 1,1\rg}
\def\cptwzr{\lg 2,0\rg}
\def\cptwon{\lg 2,1\rg}
\def\cptwtw{\lg 2,2\rg}
\def\cpontw{\lg 1,2\rg}
\def\cpzrtw{\lg 0,2\rg}
\def\cptrtr{\lg 3,3\rg}
\def\cpazr{\lg a,0\rg}
\def\cpbzr{\lg b,0\rg}
\def\cpczr{\lg c,0\rg}
\def\cphzr{\lg h,0\rg}
\def\cpxzr{\lg x,0\rg}
\def\cpzra{\lg 0,a\rg}
\def\cpzrb{\lg 0,b\rg}
\def\cpzrk{\lg 0,k\rg}
\def\cpzry{\lg 0,y\rg}
\def\qeq{\quad\eRm\quad}
\def\qqeqq{\qquad\eRm\qquad}
\def\qvq{\quad,\quad}
\def\qvqq{\quad,\qquad}
\def\qqvqq{\qquad,\qquad}
\def\lT{\left(}
\def\rT{\right)}
\def\lQ{\left[}
\def\rQ{\right]}
\def\lA{\left\langle}
\def\rA{\right\rangle}
\def\lG{\left\{}
\def\rG{\right\}}
\def\crcnf{{\hbox{\sl crcnf}}}
\def\cstf{{\rm cstf}}
\def\cupp{\,\dot\cup\,}
\def\cuppp{\,\buildrel\colon\over\cup\,}
\def\Cyg{{\hbox{\Ccl{\sl yg}}}}
\def\Cycl{{\hbox{\FaBi Cycl}}}
\def\Dcmp{{\hbox{\FaSs Dcmp}}}
\def\dcmpu{{\hbox{\FaSs dcmpu}}}
\def\ddpp{{~:\!\!|~}}
\def\deg{{\hbox{\sl deg}}}
\def\Der{{\hbox{\FaSs Der}}}
\def\DEsl{{\hbox{\FaSs DE}}}
\def\Dgrf{{\hbox{\FaSd Dgrf}}}
\def\DgrfI{{\hbox{\FaSd DgrfI}}}
\def\DgrfSym{{\hbox{\FaSd DgrfSym}}}
\def\Diff{{\rm Df}}
\def\Dih{{\hbox{\Dcl{\sl ih}}}}
\def\Dil{{\hbox{\Dcl{\sl il}}}}
\def\dim{{\hbox{\sl dim}}}
\def\dist{\hbox{\rm dist}}
%\def\dn{\FAsd}
\def\dna{\FaSd}
\def\dnb{\FaSd}
\def\dom{\hbox{\rm dom}}
\def\dppp{{~:\!\!|~}} %%\def\ppdp{{~|\!\!:~}}
\def\Drv{{\hbox{\rm Drv}}}
\def\Drvbl{{\hbox{\FaSs Drvbl}}}
\def\DSBA{{\hbox{\FaSs dsBA}}}
\def\dsjnt{\diamondsuit}
\def\Dual{{\hbox{\sl Dual}}}
\def\dvds{{\,:\!\!:\!\!|\,}}
\def\dvsy{{:\!\!|}}
\def\ecnty{{\sl ecnty}}
\def\Edg{{\hbox{\sl Edg}}}
\def\Endo{{\hbox{\FaSd Endo}}}
\def\eqv{{\rm eqv}}
\def\Eqv{{\hbox{\FaSd Eqv}}}
\def\Even{{\hbox{\EMb{\rm ven}}}}
%\def\Even{{\rm\hbox{I\kern-.2em\hbox{E}ven}}}
\def\Excg{{\hbox{\FaBi Excg}}}
\def\Excgs{{\hbox{\FaBi Excgs}}}
\def\exg{{\rm exg}}
\def\ext{\hbox{\rm ext}}
\def\Ext{\hbox{\rm Ext}}
\def\Extm{{\hbox{\sl Extm}}}
\def\Fam{{\hbox{\FaSd Fam}}}
\def\Fath{{\hbox{\sl Fath}}}
\def\Fc{{\hbox{\sl Fc}}}
\def\Fclatt{{\hbox{\sl Fclatt}}}
\def\Fcont{\hbox{\FaSs Fcont}}
\def\Ferr{\hbox{\sl Ferr}}
\def\Fib{\hbox{\rm Fib}}
\def\Fixpt{{\hbox{\sl Fixpt}}}
\def\Fld{{\hbox{\FaSd Fld}}}
\def\FldF{{\hbox{\FaSd FldF}}}
\def\Fltr{{\hbox{\FaSs Fltr}}}
\def\Frn{\hbox{\rm Frn}}
\def\Frrs{{\hbox{\FaSd Frrs}}}
\def\FrrsA{{\hbox{\FaSd FrrsA}}}
\def\frrs{{\hbox{\sl Frrs}}}
\def\frrsA{{\hbox{\sl FrrsA}}}
\def\ftrprm{{\sl ftrprm}}
\def\ftrprme{{\sl ftrprme}}
\def\Ftr{{\hbox{\FaSs Ftr}}}
\def\FTR{{\hbox{\FaSs FTR}}}
\def\Ftrel{{\hbox{\FaSs Ftrel}}}
\def\Ftrn{{\hbox{\FaSs Ftrn}}}
\def\fun{{\rm fun}}
\def\FunCnt{{\hbox{\FaSs FunCnt}}}
\def\FunConc{{\hbox{\FaSs FunConc}}}
\def\funx{{\hbox{\FaSs fun}}}
\def\funaa{{-\!\!\!-\!\!\!-}}
\def\Fun{{\hbox{\FaSd Fun}}}
\def\FunF{{\hbox{\FaSd FunF}}}
\def\Galc{{\hbox{\FaSd Galc}}}
\def\Gen{{{\cal G}{\rm en}}}
\def\GF{{\hbox{\FaBi GF}}}
\def\GFqm{{{\FaBi GF}(q^m)}}
\def\Glide{{\sl Glide}}
\def\girth{{\sl girth}}
\def\Grf{{\hbox{\FaSd Grf}}}
\def\GrfIf{{\hbox{\FaSd GrfIf}}}
\def\GrfInts{{\hbox{\sl GrfInts}}}
\def\GrfS{{\hbox{\FaSd GrfS}}}
\def\Grm{{\hbox{\FaSd Grm}}}
\def\GrmF{{\hbox{\FaSd GrmF}}}
\def\Grp{{\hbox{\FaSd Grp}}}
\def\GrpAb{{\hbox{\FaSd GrpAb}}}
\def\GrpF{{\hbox{\FaSd GrpF}}}
\def\Hygrf{{\hbox{\FaSd Hygrf}}}
\def\Id{{\hbox{\Icl{\sl d}}}}
\def\Idl{{\hbox{\sl Idl}}}
\def\Idlg{{\hbox{\sl Idlg}}}
\def\Idmp{{\hbox{\FaSd Idmp}}}
\def\Idty{{\rm Id}}
\def\Ifx{{\hbox{\sl Ifx}}}
\def\Intgrbl{{\hbox{\FaSd Intgrbl}}}
\def\Intpt{{\hbox{\FaSd Intpt}}}
\def\Intr{{\hbox{\sl Intr}}}
\def\IntsGrf{{\hbox{\sl IntsGrf}}}
\def\Intvl{{\hbox{\FaSd Intvl}}}
\def\Invelm{{\hbox{\sl Invelm}}}
\def\Invg{{\hbox{\sl Invg}}}
\def\Invl{{\hbox{\FaSd Invl}}}
%\def\Iprt{{\hbox{\FaSd Iprt}}}
\def\IPrtn{{\hbox{\FaSd Iprtn}}}
\def\IPrtnS{{\hbox{\FaSd IprtnS}}}
%\def\iprt{{\hbox{\sl Iprt}}}
\def\Iprtn{{\hbox{\sl Iprtn}}}
\def\iaaab{{\hbox{\lPT a,b\rPT}}}
\def\iacab{{\hbox{\lPT a,b\rPQ}}}
\def\icaab{{\hbox{\lPQ a,b\rPT}}}
\def\iccab{{\hbox{\lPQ a,b\rPQ}}}
\def\iun{{\lPT n \rPQ}}
\def\iUn{{\hbox{$\lPT n \rPQ$}}}
\def\kDia{{\hbox{\sl kDia}}}
\def\Krp{{\hbox{\FaSd Krp}}}
\def\KrpNab{{\hbox{\FaSd KrpNab}}}
\def\lcm{\hbox{\rm lcm}}
\def\Latt{{\hbox{\FaSd Latt}}}
\def\LattF{{\hbox{\FaSd LattF}}}
\def\lder{{\;\setminus\!\!\setminus\;}}
\def\Leav{{\hbox{\sl Leav}}}
\def\Lincl{{\hbox{\FaSd Lincl}}}
\def\Lintr{{\hbox{\FaSd Lintr}}}
\def\lldv{{\backslash\!\!\backslash\!\!\backslash}}
\def\Lng{{\hbox{\FaSd Lng}}}
\def\LngR{{\hbox{\FaSd LngR}}}
\def\LngF{{\hbox{\FaSd LngF}}}
\def\LngRc{{\hbox{\FaSd LngRc}}}
\def\LngRe{{\hbox{\FaSd LngRe}}}
\def\Logtr{{\hbox{\rm Logtr}}}
\def\lPP{\hskip.7ex\hbox{%
 \vrule height 2.2ex width .1ex depth -1.4ex\kern.2ex
 \vrule height 2.2ex width .1ex depth -1.8ex}
 \hskip0.5ex}
\def\rPP{\hskip0.5ex\hbox{%
 \vrule height 2.2ex width .1ex depth -1.8ex
 \vrule height 2.2ex width .1ex depth -1.4ex}
 \hskip0.7ex}
\def\lN{\hskip.7ex\hbox{%
 \vrule height 2.2ex width .1ex depth 0.8ex
 \vrule height 2.2ex width .5ex depth -1.7ex}
 \hskip0.5ex}
\def\rN{\hskip0.5ex\hbox{%
 \vrule height -0.3ex width .5ex depth 0.8ex
 \vrule height 2.2ex width .1ex depth 0.8ex}
 \hskip0.7ex}
\def\lPQ{{\hbox{\FaSd[}}}
\def\rPQ{{\hbox{\FaSd]}}}
\def\lPT{{\hbox{\FaSd(}}}
\def\rPT{{\hbox{\FaSd)}}}
\def\lDA{\left\downarrow}
\def\rDA{\right\downarrow}
\def\lVE{\left\vert}
\def\rVE{\right\vert}
\def\Lynd{{\hbox{\FaSs Lynd}}}
\def\lxor{\oplus}
\def\Mad{{\hbox{\sl Mad}}}
\def\mant{{\hbox{\rm mant}}}
\def\Mat{{\hbox{\FaSd Mat}}}
\def\Matr{{\hbox{\FaSd Matr}}}
\def\MatrQ{{\hbox{\FaSd MatrQ}}}
\def\MatId{{\hbox{\sl MatId}}}
\def\MatZr{{\hbox{\sl MatZr}}}
\def\maun{{\hbox{\MCl{\sl un}}}}
\def\maxdeg{{\sl maxdeg}}
\def\mazr{\MCl{\sl zr}}
\def\MCD{\hbox{\rm MCD}}
\def\mcm{\hbox{\rm mcm}}
\def\Mcn{{\hbox{\FaSd Mcn}}}
\def\McnD{{\hbox{\FaSd McnD}}}
\def\Mdeg{{\hbox{\sl Mdeg}}}
\def\Mdl{{\hbox{\FaSd Mdl}}}
\def\MFtr{\hbox{\FaSs MFtr}}
\def\Mgm{{\hbox{\FaSd Mgm}}}
\def\MgmAb{{\hbox{\FaSd MgmAb}}}
\def\Mgrf{\hbox{\FaSd Mgrf}}
\def\mindeg{{\sl mindeg}}
\def\Mnrnt{{\hbox{\FaSs Mnrnt}}}
\def\Minvl{{\hbox{\FaSs Minvl}}}
\def\mjr{{\rm mjr}}
\def\Mjrnt{{\hbox{\FaSs Mjrnt}}}
\def\mnl{{\hbox{\Mcl{\rm nl}}}}
\def\Mnd{{\hbox{\FaSd Mnd}}}
\def\MndAb{{\hbox{\FaSd MndAb}}}
\def\mnr{{\rm mnr}}
\def\mod{\hbox{\rm mod}}
\def\Mov{\hbox{\FaSd Mov}}
\def\Mxl{{\cal M}{\rm xl}}
\def\Ngbr{\hbox{\FaSs Ngbr}}
\def\Nod{\hbox{\sl Nod}}
\def\Odd{{\hbox{\OMb{\rm dd}}}}
%\def\Odd{{\rm\hbox{O\kern-.65em\hbox{I}\kern.3emdd}}}
%\def\Odd{{\cal O\rm dd}}
\def\onop{{\hat\IMb}}
\def\Ord{{\hbox{\FaSd Ord}}}
\def\OrdLBl{{\hbox{\FaSd OrdLBl}}}
\def\OrdLCmp{{\hbox{\FaSd OrdLCmp}}}
\def\OrdT{{\hbox{\FaSd OrdT}}}
\def\Orient{{\hbox{\sl Orient}}}
\def\OVA{\overrightarrow}
\def\partn{{\rm part}}
%\def\part{{\rm part}}
\def\Part{{\hbox{\FaSd Part}}}
\def\Perm{{\hbox{\FaSd Perm}}}
\def\Pgrf{{\hbox{\FaSd Pgrf}}}
\def\Pfx{{\hbox{\sl Pfx}}}
\def\PgrfI{{\hbox{\FaSd PgrfI}}}
\def\PgrfIf{{\hbox{\FaSd PgrfIf}}}
\def\pinv#1{^{{\rm inv}_{#1}}}
\def\Pipr{{\hbox{\sl Pipr}}}
\def\Piprpi{{\hbox{\sl Piprpi}}}
\def\Pir{{\hbox{\sl Pir}}}
\def\Pltp{{\hbox{\FaSd Pltp}}}
\def\Poset{{\hbox{\FaSd Poset}}}
\def\PosetF{{\hbox{\FaSd PosetF}}}
\def\PosetLf{{\hbox{\FaSd PosetLf}}}
\def\PosetLatt{{\hbox{\FaSd PosetLatt}}}
\def\PosetInflatt{{\hbox{\FaSd PosetInflatt}}}
\def\PosetSuplatt{{\hbox{\FaSd PosetSuplatt}}}
\def\PosetLattC{{\hbox{\FaSd PosetLattC}}}
\def\PosetT{{\hbox{\FaSd PosetT}}}
\def\ppdp{{~|\!\!:~}} %%\def\dppp{{~:\!\!|~}}
\def\pr{{\hbox{\FaSs pr}}}
\def\prd{{\hbox{\rm prd}}}
\def\Prim{{\hbox{\FaSs Prim}}}
\def\Primsq{{\hbox{\FaSs Primsq}}}
\def\Primes{{\hbox{\PMb{\rm imes}}}}
\def\Prj{{\hbox{\FaSd Prj}}}
\def\Prmt{{\hbox{\FaSd Prmt}}}
\def\Prsm{{\hbox{\sl Prsm}}}
\def\Prt{{\hbox{\rm Prt}}}
\def\PRtn{{\hbox{\FaSd Prtn}}}
\def\prti{{\hbox{\sl prti}}}
\def\Prtn{{\hbox{\sl Prtn}}}
\def\PRtnS{{\hbox{\FaSd PrtnS}}}
\def\PrtnS{{\hbox{\sl PrtnS}}}
\def\PtgrPt{{\hbox{\FaSd PtgrPt}}}
\def\PtgrPtZ{{\hbox{\FaSd PtgrPtZ}}}
\def\PtgrSlp{{\hbox{\FaSd PtgrSlp}}}
\def\PtgrSlpPr{{\hbox{\FaSd PtgrSlpPr}}}
\def\PtgrTr{{\hbox{\FaSd PtgrTr}}}
\def\PtgrTrPr{{\hbox{\FaSd PtgrTrPr}}}
\def\Ptgrtrsf{{\hbox{\sl Ptgrtrsf}}}
\def\QDD{{\vrule height3.5pt width2pt depth1pt}}
\def\Qdr{{\hbox{\sl Qdr}}}
\def\QED{{\vrule height3.5pt width2pt depth1pt}}
\def\Rcn{{\hbox{\FaSd Rcn}}}
\def\RcnD{{\hbox{\FaSd RcnD}}}
\def\Rcnpd{{\hbox{\FaSd Rcnpd}}}
\def\RcnpdD{{\hbox{\FaSd RcnpdD}}}
\def\RcnnD{{\hbox{\FaSd Rcn$D\!\!\!\!/$}}}
\def\RcnpdnD{{\hbox{\FaSd Rcnpd$D\!\!\!\!/$}}}
\def\RcnnDu{{\hbox{\FaSd RcnnD1}}}
\def\RcnDu{{\hbox{\FaSd RcnD1}}}
\def\Rcnmu{{\hbox{\FaSd Rcn$\mu $1}}}
\def\rder{{\,/\!\!/\,}}
\def\rDia{{\sl rDia}}
\def\Rect{{\hbox{\FaSs Rect}}}
\def\Rel{{\hbox{\FaSd Rel}}}
\def\Regpol{{\hbox{\FaSd Regpol}}}
\def\RelF{{\hbox{\FaSd RelF}}}
\def\RelAsym{{\hbox{\FaSd RelAsym}}}
\def\RelSym{{\hbox{\FaSd RelSym}}}
\def\RelTrns{{\hbox{\FaSd RelTrns}}}
\def\rldv{{/\!\!/\!\!/}}
\def\Rng{{\hbox{\FaSd Rng}}}
\def\RngAb{{\hbox{\FaSd RngAb}}}
\def\RngNab{{\hbox{\FaSd RngNab}}}
\def\RSMP{\RMb\setminus\ZMb\cdot\pi}
\def\RSMdPm{\RMb\setminus(2\ZMb+1)\cdot{\pi\over 2}}
\def\Psrng{{\hbox{\FaSd Psrng}}}
\def\PsrngAb{{\hbox{\FaSd PsrngAb}}}
\def\rnk{{\rm rnk}}
\def\Root{{\sl Root}}
\def\Rot{{\sl Rot}}
\def\Rpcd{{\RMb^{\times d}}}
\def\Rpce{{\RMb^{\times e}}}
\def\Rpcn{{\RMb^{\times n}}}
\def\Rpctr{{\RMb^{\times 3}}}
\def\RS{{\hbox{\FaSs RS}}}
\def\RSD{{\hbox{\FaSs RSD}}}
\def\RSND{{\hbox{\FaSs RSND}}}
\def\Rstr#1{_{|#1}} %%%??? migl.
\def\Rtln{{\hbox{\FaSs Rtln}}}
\def\RtlnQQ{{\hbox{\FaSs RtlnQQ}}}
\def\Rzp{\Rmb_{0,+}}
%%%\def\SDAB{{\hbox{\FaSs SDab}}}
\def\SDBA{{\hbox{\FaSs sdBA}}}
\def\Saut{{\hbox{\FaSd Saut}}}
\def\SautD{{\hbox{\FaSd SautD}}}
\def\SautnD{{\hbox{\FaSd Saut$D\!\!\!\!/$}}}
\def\Schl{{\hbox{\sl Schl}}}
\def\Seq{{\hbox{\FaSd Seq}}}
\def\SeqB{{\hbox{\FaSd SeqB}}}
\def\SeqF{{\hbox{\FaSd SeqF}}}
\def\Set{{\hbox{\FaSd Set}}}
\def\SetF{{\hbox{\FaSd SetF}}}
\def\SetN{{\hbox{\FaSd SetN}}}
\def\Sftrn{{\hbox{\FaSs Sftrn}}}
\def\Sfx{{\hbox{\sl Sfx}}}
%\def\sgm{{\hbox{\sl sgm}}}
\def\sgn{{\hbox{\rm sgn}}}
\def\Sgrp{{\hbox{\FaSd Sgrp}}}
\def\SgrpAb{{\hbox{\FaSd SgrpAb}}}
\def\Simplcmp{{\hbox{\FaSd Simplcmp}}}
\def\Skl{{\hbox{\sl Skl}}}
\def\span{{\hbox{\FaBi span}}}
\def\SpH{{\hbox{\FaSd SpH}}}
\def\Spv{{\hbox{\FaSd Spv}}}
\def\SpvPir{{\hbox{\FaSd SpvPir}}}
\def\Srng{{\hbox{\FaSd Srng}}}
\def\SrngAb{{\hbox{\FaSd SrngAb}}}
\def\Srngzu{{\hbox{\FaSd Srngzu}}}
\def\SrngzuAb{{\hbox{\FaSd SrngzuAb}}}
\def\Sss{{\hbox{\FaSd Sss}}}
\def\StCll{{\hbox{\FaSs StCll}}}
\def\Stabr{{\hbox{\FaBi Stabr}}}
\def\Stabs{{\hbox{\FaSs Stabs}}}
\def\StrnI{{\hbox{\FaSs StrnI}}}
\def\StrnII{{\hbox{\FaSs StrnII}}}
\def\Strnf{{\hbox{\FaSs Strnf}}}
\def\Strns{{\hbox{\FaSs Strns}}}
\def\supp{{\hbox{\rm supp}}}
\def\Subvsp{{\hbox{\FaBi Subvsp}}}
\def\Sym{{\hbox{\Scl{\sl ym}}}}
\def\Symm{{\hbox{\FaSd Symm}}}
\def\tCa{$\tca$}
\def\tot{{\hbox{\rm tot}}}
\def\Tpnt{{\hbox{\sl Tpnt}}}
\def\Tpntp{{\hbox{\sl Tpntp}}}
\def\Tpntpp{{\hbox{\sl Tpntpp}}}
\def\Transf{{\hbox{\TMb {\rm ransf}}}}
\def\Trd{{\hbox{\sl Tr2}}}
\def\Trdr{{\hbox{\FaSd Trdr}}}
\def\TrdrD{{\hbox{\FaSd TrdrD}}}
\def\Trjct{{\hbox{\FaSd Trjct}}}
\def\Trng{{\hbox{\FaBi Trng}}}
\def\Trnscl{{\rm Trnscl}}
\def\Trpz{{\hbox{\sl Trpz}}}
\def\trpzd{{\hbox{\FaSs trpzd}}}
%\def\trsl{{\hbox{\sl trsl}}}
\def\Trsl{{\hbox{\sl Trsl}}}
\def\Trsf{{\hbox{\FaBi Trsf}}}
\def\Trsp{{\hbox{\FaBi Trsp}}}
\def\Trsps{{\hbox{\FaBi Trsps}}}
\def\Ttri{{\hbox{\sl Ttri}}}
\def\Ttrip{{\hbox{\sl Ttrip}}}
\def\Ttripp{{\hbox{\sl Ttripp}}}
\def\Turm{{\hbox{\FaSd Turm}}}
\def\mdl{{\hbox{\FySs mdl}}}
\def\spc{{\hbox{\FySs spc}}}
\def\typ{{\hbox{\FySs typ}}}
\def\Vect{{\hbox{\FaSd Vect}}}
\def\Vlim{{\hbox{\FaSd Vlim}}}
\def\Vrb{{\hbox{\FaSd Vrb}}}
\def\Vsp{{\hbox{\FaSd Vsp}}}
\def\Wgt{{\hbox{\sl Wgt}}}
\def\Wl{{\hbox{\sl Wl}}}
\def\zii{\lopt i\rtod}
\def\zij{\lopt j\rtod}
\def\zik{\lopt k\rtod}
\def\zim{\lopt m\rtod}
\def\zin{\lopt n\rtod}
\def\zis{\lopt s\rtod}
\def\zrop{{\hat\OMb}}
\def\CKA{{\hbox{\FaSd CKA}}}
\def\NKA{{\hbox{\FaSd NKA}}}
\def\RKA{{\hbox{\FaSd RKA}}}
\def\SKA{{\hbox{\FaSd SKA}}}
\def\cSKA{{\hbox{\FaSd cSKA}}}

\def\lfdr{\buildrel\mid\over\downarrow \!\!\!\!{^{^{^{^{^{^{\_}}}}}}}}
\def\rfdr{{^{^{^{^{^{^{\_}}}}}}}\!\!\!\!\! \buildrel\mid\over\downarrow}
\def\metamu{\mu\!\!u}
\def\DP{\hskip0.6ex\hbox{%
 \vrule height1.4ex width.2ex depth-1.2ex\kern-.2ex
 \vrule height0.2ex width.2ex depth0.0ex}
 \hskip1.0ex}
\def\Box{\hskip0.5ex\hbox{%
 \vrule height 7pt width 0.3pt depth -1pt
 \vrule height 7pt width 6pt depth-6.7pt\kern-6pt
 \vrule height 1.3pt width 6pt depth -1pt
 \vrule height 7pt width 0.3pt depth -1pt}
 \hskip0.7ex}
\def\square{\hskip0.5ex\hbox{%
 \vrule height 10pt width 0.4pt depth 0.0pt
 \vrule height 10pt width 10pt depth-9.6pt\kern-10pt
 \vrule height 0.4pt width 10pt depth 0pt
 \vrule height 10pt width 0.4pt depth 0pt}
 \hskip0.7ex}
\def\ndsjnt{\hskip0.5ex\hbox{%
 \vrule height .8ex width.1ex depth-.6ex
 \vrule height .6ex width.1ex depth-.4ex
 \vrule height .4ex width.1ex depth-.2ex
 \vrule height .2ex width.1ex depth .0ex
 \vrule height .0ex width.1ex depth .6ex
 \vrule height .2ex width.1ex depth .0ex
 \vrule height .4ex width.1ex depth-.2ex
 \vrule height .6ex width.1ex depth-.4ex
 \vrule height .8ex width.1ex depth-.6ex\kern-.8ex
 \vrule height 1.0ex width.1ex depth-.8ex
 \vrule height 1.2ex width.1ex depth-1.0ex
 \vrule height 1.4ex width.1ex depth-1.2ex
 \vrule height 1.6ex width.1ex depth-1.4ex
 \vrule height 1.4ex width.1ex depth-1.2ex
 \vrule height 1.2ex width.1ex depth-1.0ex
 \vrule height 1.0ex width.1ex depth-.8ex}
 \hskip0.6ex}
\def\TC{\hskip0.5ex\hbox{%
 \vrule height 1.8ex width.4ex depth-1.7ex
 \vrule height 1.8ex width.16ex depth .4ex
 \vrule height 1.8ex width.4ex depth-1.7ex\kern-.4ex
 \vrule height-.3ex width.4ex depth .4ex}
 \hskip0.5ex}
%\def\TC{~{\rm t\!c}~}
%\def\TC{~{\rm T\!\!C}~}
%\def\Tc{~\vdots~}
%\def\ST{~{\sl S\!\!T}~}
%\def\St{\hskip0.3em\hbox{%
% \vrule height 1.5ex width .04em depth .3ex
% \vrule height 1.0ex width .1em depth -.9ex\kern-.1em
% \vrule height .3ex width .1em depth -.2ex}\hskip0.3em}
\def\mId{\hskip.4ex \vrule height 1.8ex width.13ex depth.6ex \hskip.4ex}
\def\ALT{\hskip.5ex \vrule height 2.ex width.15ex depth.8ex \hskip.5ex}
%\def\ALT{\hskip 1mm \vrule height 9pt width 1pt depth 3pt \hskip 1mm}
\def\immd{\hbox{%
 \vrule height .4ex width.7ex depth-.25ex\kern-.7ex
 \vrule height -.65ex width.3ex depth.8ex
 \vrule height .4ex width.12ex depth.8ex
 \vrule height -.65ex width.3ex depth.8ex
 }\hskip.3ex}
\def\tca{\hskip.5ex\hbox{%   tacca
 \vrule height 1.5ex width.12ex depth.2ex
 }\hskip.5ex}
\def\jxtp{\hskip.5ex\hbox{%   giustapposizione
 \vrule height 1.0ex width.12ex depth-.3ex
 }\hskip.5ex}
\def\scan{\hskip.1ex \vrule height 1.8ex width.1ex depth-.6ex \hskip.1ex}

\def\kt#1{|#1\rgg}
\def\ktt#1{\Big|#1\Big\rangle}
\def\br#1{\lgg#1|}
\def\brr#1{\Big\langle#1\Big|}
\def\bk#1#2{\lgg #1|#2\rgg}
\def\kb#1#2{|#1\rgg\lgg #2|}
\def\bok#1#2#3{\lgg #1|#2|#3\rgg}
\def\va#1{\lgg #1\rgg}

%%%%\def\Alg{{\bf Alg.}~}   nuova def
\def\Algo{{\bf Alg.}:~}
\def\Algor{{\FaSd Algor.}:~}
\def\Cng{{\bf Cong.}~}
\def\Cong{{\bf Cong.}:~}
\def\conG{{\FaSd Cong.}:~}
\def\Conp #1\par{\medbreak
  \noindent {C{\prmo ONG.}: }{\sl #1}\par\medbreak}
\def\Cor{{\bf Cor.}~}
\def\coR{{\FaSd Cor.}~}
\def\Coro{{\bf Cor.}:~}
\def\Coron#1{{\bf Cor.~#1}:~}
\def\Corp #1\par{\medbreak
  \noindent {C{\prmo OR.}: }{\sl #1}\par\medbreak}
\def\Defp #1\par{\medbreak
  \noindent {D{\prmo EF.}: }{\sl #1}\par\medbreak}
\def\Dim{{\FaSd Dim.:}~}
%\def\Dim{{\rm D}{\FyRm IM.}:~}
\def\Dimo{{\prmo DIM}.:~}
\def\Esem{{\bf Esempio}~}
\def\eseM{{\FaSd Esempio}~}
\def\Esemn#1{{\FaSd Esempio~#1}:~}
\def\Eser{{\bf Eserc.}~}
\def\eseR{{\FaSd Eserc.}~}
\def\Esern#1{{\FaSd Eserc.~#1}:~}
\def\Lem{{\bf Lemma}~}
\def\leM{{\FaSd Lemma}~}
\def\Lemm{{\bf Lemma}:~}
\def\Lemmn#1{{\FaSd Lemma~#1}:~}
\def\Lemp #1\par{\medbreak
  \noindent {L{\prmo EMMA}: }{\sl #1}\par\medbreak}
\def\Osse{{\prmo OSS}.:~}
\def\Prblm#1{{\FaSd Problem~#1}}
\def\prcD{{\FaSd Proced.}:~}
\def\Prcdo{{\bf Prcd.}~}
\def\proB{{\FaSd Problema}:~}
\def\Prob{{\bf Problema}:~}
\def\prop{P{\prmo ROP}.:~}
\def\Prop #1\par{\medbreak
  \noindent {P{\prmo ROP.}: }{\sl #1}\par\medbreak}
\def\Prp{{\bf Prop.}}
\def\Prpo{{\bf Prop.}:~}
\def\proP{{\FaSd Prop.}~}
\def\Prpon#1{{\FaSd Prop.~#1}:~}
\def\Teo{{\bf Teorema}~}
\def\teoR{{\FaSd Teorema}~}
\def\Teop #1\par{\medbreak
  \noindent {T{\prmo EOR.}: }{\sl #1}\par\medbreak}
\def\Teor{{\bf Teorema}:~}
\def\Teorn#1{{\FaSd Teorema~#1}:~}


\def\altrmRm{{\rm~altrimenti~}}
%\def\altrmR{{\rm~altrimenti~}}
%\def\conR{{\rm~con~}}
\def\conRm{{\rm~con~}}
%\def\con{{\rm~con~}}
\def\doveRm{{\rm~dove~}}
%\def\doveR{{\rm~dove~}}
\def\eRm{{\rm~e~}}
\def\eR{{\rm~e~}}
\def\forRm{{\rm~for~}}
\def\forR{{\rm~for~}}
%\def\forrm{{\rm~for~}}
\def\forsl{{\sl~for~}}
\def\iffRm{{\rm~iff~}}
\def\iffR{{\rm~iff~}}
%\def\iffrm{{\rm~iff~}}
\def\iffsl{{\sl~iff~}}
\def\oveRm{{\rm~ove~}}
%\def\oveR{{\rm~ove~}}
\def\oppureRm{{\rm~oppure~}}
%\def\oppureR{{\rm~oppure~}}
\def\ovveroRm{{\rm~oppure~}}
\def\perRm{{\rm~per~}}
%\def\perR{{\rm~per~}}
\def\perogniRm{{\rm~per~ogni~}}
\def\perogniR{{\rm~per~ogni~}}
%\def\seR{{\rm~se~}}
\def\seRm{{\rm se~}}
%\def\serm{{\rm se~}}
\def\soseR{{\rm~solo~se~}}
\def\sseRm{{\rm~sse~}}
%\def\sseR{{\rm~sse~}}
%\def\se{{\rm~se~}}
\def\tcRm{{\rm~t.c.~}}
%\def\tcrm{{\rm~t.c.~}}
%\def\tcR{{\rm~t.c.~}}

\def\func{\hskip0.1em\hbox{%
 \vrule height .40em width .20em depth -.38em\kern-.11em
 \vrule height .26em width .10em depth -.24em
 \vrule height .40em width .02em depth -.08em
}\hskip0.1em}
\def\func{\hskip0.05ex\hbox{%
 \vrule height .72ex width .40ex depth -.68ex\kern-.20ex
 \vrule height .46ex width .19ex depth -.42ex
 \vrule height .72ex width .04ex depth -.15ex
}\hskip0.2ex}
\def\funac{\longrightarrow}
%def\lrar{\longrightarrow}
%def\FLD{$~\longrightarrow~$}
\def\funad{{-\!\!-\!\!\triangleright}}
\def\funbc{\longmapsto}
\def\funbd{{\vrule height4.5pt width0.5pt depth0pt}-\!\!\!-\!\!\triangleright}
%\def\funbd{\vdash\!\!\!-\!\!\!-\!\!\triangleright}
\def\funcc{\longleftrightarrow}
%def\llrar{\longleftrightarrow}
%def\FLB{$~\longleftrightarrow~$}
\def\funcd{\longleftarrow\!\!\triangleright}
%\def\funcd{\hbox{\longleftarrow\!\!\triangleright}}
\def\fundc{\triangleleft\!\!\longrightarrow}
\def\fundd{\triangleleft\!\!-\!\!\!-\!\!\triangleright}
%\def\fundd{\hbox{\triangleleft\kern-2.em\hbox{\triangleright}}}
%def\FLS{$~\longleftarrow~$}
\def\farr{\hskip0.5em\hbox{%
 \vrule height .75em width .05em depth .1em
 \vrule height .35em width .2em depth -.3em
 \vrule height .75em width .03em depth .1em
 \vrule height .7em width .02em depth .05em
 \vrule height .65em width .02em depth 0em
 \vrule height .6em width .02em depth -.05em
 \vrule height .55em width .02em depth -.1em
 \vrule height .5em width .02em depth -.15em
 \vrule height .45em width .02em depth -.2em
 \vrule height .4em width .02em depth -.25em
 \vrule height .35em width .02em depth -.3em}\hskip0.5em}
%\def\llar{\longleftarrow}
\def\larr{\hskip.3em\hbox{%
 \vrule height .8em width .05em depth .15em
 \vrule height .4em width .15em depth -.35em\kern-.17em
 \vrule height .8em width .32em depth -.75em}\hskip.2em}
\def\larrr{\hskip.3em\hbox{%
 \vrule height 1.em width .05em depth .2em
 \vrule height .5em width .2em depth -.45em\kern-.19em
 \vrule height 1.em width .37em depth -.95em}\hskip.2em}
\def\rarr{\hskip.2em\hbox{%
 \vrule height .8em width .32em depth -.75em\kern-.17em
 \vrule height .4em width .15em depth -.35em
 \vrule height .8em width .05em depth .15em}\hskip.3em}
\def\rarrr{\hskip.2em\hbox{%
 \vrule height 1.em width .37em depth -.95em\kern-.19em
 \vrule height .5em width .17em depth -.45em
 \vrule height 1.em width .05em depth .2em}\hskip.3em}
%\def\farr{\hookrightarrow}
%\def\farr{~\wr\!\!\!\rightarrow~}
%\def\larr{\langle\kern-.2em\langle}
%\def\larr{\downarrow \!\!\!\!{^{^{\_}}}}
%\def\rarr{\rangle\kern-.2em\rangle}
%\def\rarr{{^{^{\_}}}\!\!\!\!\downarrow}
\def\arfu{\hskip.04em\hbox{%
 \vrule height .42em width .10em depth -.4em\kern-.07em
 \vrule height .30em width .07em depth -.28em
 \vrule height .42em width .02em depth -.16em}\hskip.04em}
\def\fuar{\hskip.04em\hbox{%
 \vrule height .42em width .02em depth -.16em
 \vrule height .30em width .07em depth -.28em\kern-.07em
 \vrule height .42em width .10em depth -.4em
 }\hskip.04em}

\def\impl{\Rightarrow}
\def\Impl{$\Rightarrow$}
\def\impli{\Longrightarrow}
\def\iMpli{$\Longrightarrow$}
\def\cimpli{\Longleftarrow}
\def\cImpli{$\Longleftarrow$}
\def\Impli{$\Longrightarrow$}
\def\leqv{\Leftrightarrow}
\def\Leqv{$\Leftrightarrow$}
\def\leqva{\Longleftrightarrow}
\def\lEqva{$\Longleftrightarrow$}
\def\Leqva{$\Longleftrightarrow$}
\def\rtarr{\rightarrow}
\def\ltarr{\leftarrow}
\def\ltrtarr{\leftrightarrow}

\def\bAstc{{\ast\atop\ast}}
\def\asT{{{}^\ast}}
\def\bigcupp{\buildrel\cdot\over\bigcup}
%\def\bigcupp{\,\buildrel\bullet\over\bigcup\,}
\def\bigcuppp{\;\buildrel\colon\over\bigcup\;}
%\def\bt{b\!\!\!\!-}
%\def\bk{b^\!\!\!\!-}
%\def\Boo{\Becy} %{\Bcl}
\def\Boo{\Bcl}
\def\BooF{\Becy_F} %{\Bcl_F}
\def\Bne{\Boo\lwb{\fnsq ne}}
\def\Diamond{$\diamond$}
\def\NPCl{$\Ncl\Pcl$}
\def\NPcl{\Ncl\Pcl}
\def\IK{\Kbr}
%\def\DelK{\Delta\!\!\!{\rm K}}
\def\ind{\in_{\neq}}
\def\juxt{\cdot\!\!\cdot}
\def\Juxt{$\cdot\!\!\cdot$}
%\def\jxt{\hskip0.1em\hbox{%
% \vrule height .40em width .02em depth -.05em\kern.1em
% \vrule height .40em width .02em depth -.05em\kern.1em
% \vrule height .40em width .02em depth -.05em}\hskip0.1em}
%\def\Jxt{\hskip0.2em\hbox{%
% \vrule height .60em width .04em depth .05em\kern.2em
% \vrule height .60em width .04em depth .05em\kern.2em
% \vrule height .60em width .04em depth .05em}\hskip0.1em}
\def\ncmprnd{\supset\!\!\!\subset}
\def\cmpr{\hskip0.5ex\hbox{%
 \vrule height 7pt width 0.4pt depth -4pt
 \vrule height 7pt width 6pt depth -6.6pt
 \kern-6pt
 \vrule height 4.4pt width 6pt depth -4pt
 \kern-6pt
 \vrule height 3pt width 6pt depth -2.6pt
 \kern-6pt
 \vrule height 0.4pt width 6pt depth 0pt
 \vrule height 3pt width 0.4pt depth 0pt}
 \hskip0.5ex}
\def\ncmpr{\hskip0.5ex\hbox{%
 \vrule height 7pt width 0.4pt depth -4pt
 \vrule height 7pt width 6pt depth -6.6pt
 \kern-6pt
 \vrule height 4.4pt width 6pt depth -4pt
 \kern-3.2pt
 \vrule height 9pt width 0.4pt depth 2pt
 \kern-3.2pt
 \vrule height 3pt width 6pt depth -2.6pt
 \kern-6pt
 \vrule height 0.4pt width 6pt depth 0pt
 \vrule height 3pt width 0.4pt depth 0pt}
 \hskip0.5ex}
\def\eqvcl{\hskip0.5ex\hbox{%
 \vrule height 12pt width 0.5pt depth -5pt
 \vrule height 12pt width 3pt depth -8.5pt
 \kern-3pt
 \vrule height 5.5pt width 3pt depth -5pt
 \vrule height 8.5pt width 3pt depth -5pt
 \kern-3pt
 \vrule height 12pt width 3pt depth -11.5pt
 \vrule height 12pt width 0.5pt depth -5pt}
 \hskip0.7ex}
\def\bandiera{\hskip0.5ex\hbox{%
 \vrule height 6pt width 3pt depth -1pt
 \vrule height 6pt width 3pt depth -5.5pt\kern-3pt
 \vrule height 1.5pt width 3pt depth -1pt
 \vrule height 6pt width 3pt depth-1pt}
 \hskip0.5ex}
\def\ncfr{\supset\!\!\!\subset}
\def\Ncfr{$\supset\!\!\!\subset$}
\def\false{{\tt false}}
\def\true{{\tt true}}
\def\plus{\buildrel{.}\over{+}}
\def\pmo{{^{-1}}}
%\def\invf{^{\it -1}}
\def\invf{^{\bf-1}}
\def\precI{\prec_I }
\def\refl{\partial}
\def\rflx{\leftarrow}
\def\sqsubset{\sqsubseteq_\neq}
\def\sqsupset{\sqsupseteq_\neq}
\def\strin{-\!\!\!\!\in}
\def\strsubseteq{-\!\!\!\!\subseteq}
\def\strsubset{-\!\!\!\!\subset}
\def\timess{\times_s}
%\def\trsp{^{\hskip.2ex\hbox{%     transposition
% \vrule height 1.3ex width .1ex depth 0ex
% \vrule height 1.1ex width .2ex depth -1.0ex \kern-.2ex
% \vrule height 0.1ex width .2ex depth 0.0ex
% }\hskip.2ex}}
\def\trsp{^{\hskip.15ex\hbox{%     transposition
 \vrule height 1.2ex width .35ex depth -1.1ex
 \vrule height 1.2ex width .1ex depth 0ex
 \vrule height 1.2ex width .35ex depth -1.1ex
 }\hskip.15ex}}
%\def\trsp{\partial}
\def\xor{\dot\lor}
\def\Xor{$\dot\lor$}


\def\SSVI{{\tt ssvi}}
\def\SPIS{{\tt spis}}
\def\Bigcirc{$\bigcirc$}
\def\Cnjc{{\rm Cnjc}}
\def\cnjc{{\rm cnjc}}
\def\Dipr{$\searrow$}
\def\divi{-\!\!\!\!\!:}
\def\dvsr{\hskip0.4ex\hbox{%    :| is divisor  provvv
 \vrule height 1.0ex width .2ex depth -.8ex\kern-.21ex
 \vrule height .3ex width .2ex depth -.1ex
 \vrule height 1.5ex width .1ex depth .3ex
}\hskip0.6ex}
\def\lat{{\rm lat}}
\def\lung{{\vdash\!\dashv}}
\def\Occ{{\rm Occ}}
\def\occ{{\rm occ}}
\def\Prk{{{\cal P}rk}}

%% salpar.tex

%\def\slra{\slva \centerline{\vrule width20mm height0.7pt} \slvb}
%\newdimen\spazio\spazio=5truemm
%\def\newitem{\par\hangindent=\spazio\premessa}
%\def\premessa#1{\noindent\hskip\spazio\llap{\hbox to
%\spazio{#1\hfill}}\ignorespces}

%% defmi
%\font\prmo=cmr8
%\def\NN{\hbox{I\kern-.2em\hbox{N}}}
%\def\PP{\hbox{I\kern-.2em\hbox{P}}}
%\def\QQ{\hbox{I\kern-.2em\hbox{Q}}}
%\def\RR{\hbox{I\kern-.2em\hbox{R}}}
%\def\CC{\hbox{\rm C\kern-.4em\hbox{I}}}
%\def\ZZ{\hbox{\rm Z\kern-.4em\hbox{Z}}}
%\def\BB{\rm\hbox{I\kern-.2em\hbox{B}}}
%\def\EE{\rm\hbox{I\kern-.2em\hbox{E}}}
%\def\FF{\rm\hbox{I\kern-.2em\hbox{F}}}
%\def\HH{\rm\hbox{I\kern-.2em\hbox{H}}}
%\def\II{\rm\hbox{I\kern-.2em\hbox{I}}}
%\def\LL{\rm\hbox{I\kern-.2em\hbox{L}}}
%\def\NcN{\NN\times\NN}
%\def\ZcZ{\ZZ\times\ZZ}
%\def\QcQ{\QQ\times\QQ}
%\def\RcR{\RR\times\RR}

\def\Cfun{{\tt C-function}}
\def\Cfus{{\tt C-functions}}
%\def\Ntst{{\tt nt-string}}
%\def\OVL{\overline}
%% da fmaas.tex
\def\plbf{\hskip.3ex\hbox{%     plus bf
 \vrule height.7ex width.5ex depth-.5ex
 \vrule height1.2ex width.2ex depth.0ex
 \vrule height.7ex width.5ex depth-.5ex
 }\hskip.3ex}
\def\mnbf{\hskip.2ex\hbox{\vrule height.7ex width1.2ex depth-.5ex}\hskip.2ex}
      %     minus bf
\def\sbot{\hskip.3ex\hbox{%     small bottom multipl.by integer
 \vrule height .4ex width .2ex depth -.35ex
 \vrule height .9ex width .05ex depth -.35ex
 \vrule height .4ex width .2ex depth -.35ex
 }\hskip.3ex}
\def\mbot{\hskip.3ex\hbox{%     medium bottom operator
 \vrule height .2ex width .3ex depth -.15ex
 \vrule height .9ex width .05ex depth -.35ex
 \vrule height .2ex width .3ex depth -.15ex
 }\hskip.3ex}

\def\ceil#1{\lceil #1\rceil}    % parenthesis
\def\floor#1{\lfloor #1\rfloor}
\def\Binv{\hbox{\FaSd Binv}}
\def\Mant{{\rm Mant}}
\def\Round{{\rm Round}}
\def\redfrac{{\rm redfrac}}
\def\sign{{\rm sign}}
\def\lgm{\hskip.4ex\hbox{%     left grammar
 \vrule height 2.ex width.15ex depth.8ex
 \vrule height 2.ex width.3ex depth-1.9ex\kern-.35ex
 \vrule height -.7ex width.35ex depth.8ex
}\hskip0.3ex}
\def\rgm{\hskip.3ex\hbox{%     left grammar
 \vrule height 2.ex width.35ex depth-1.9ex\kern-.35ex
 \vrule height -.7ex width.3ex depth.8ex
 \vrule height 2.ex width.15ex depth.8ex
}\hskip0.4ex}
\def\rstn{\hbox{%
 \vrule height -.28em width .2em depth .3em
 \vrule height .5em width .02em depth .3em}\hskip0.1em}
\def\cfunc{\hskip0.05ex\hbox{%
 \vrule height .72ex width .04ex depth -.15ex
 \vrule height .46ex width .19ex depth -.42ex\kern-.20ex
 \vrule height .72ex width .40ex depth -.68ex
}\hskip0.05ex}
%\def\reln{\hskip0.08em\hbox{%
% \vrule height .36em width .02em depth -.26em\kern-.02em
% \vrule height .15em width .02em depth -.06em
% \vrule height .38em width .02em depth -.36em\kern-.02em
% \vrule height .24em width .02em depth -.22em\kern-.02em
% \vrule height .17em width .02em depth -.15em
% \vrule height .40em width .02em depth -.38em\kern-.02em
% \vrule height .22em width .02em depth -.20em\kern-.02em
% \vrule height .19em width .02em depth -.17em
% \vrule height .42em width .2em depth -.40em\kern-.2em
% \vrule height .21em width .2em depth -.19em
% \vrule height .42em width .02em depth -.06em}\hskip0.1em}
\def\arrel{\hskip.1ex\hbox{%   relation connective           %\reln
 \vrule height .36em width .02em depth -.26em\kern-.02em
 \vrule height .15em width .02em depth -.06em
 \vrule height .38em width .02em depth -.36em\kern-.02em
 \vrule height .24em width .02em depth -.22em\kern-.02em
 \vrule height .17em width .02em depth -.15em
 \vrule height .40em width .02em depth -.38em\kern-.02em
 \vrule height .22em width .02em depth -.20em\kern-.02em
 \vrule height .19em width .02em depth -.17em
 \vrule height .42em width .2em depth -.40em\kern-.2em
 \vrule height .21em width .2em depth -.19em
 \vrule height .42em width .02em depth -.06em
}\hskip.1ex}
\def\relar{\hskip.1ex\hbox{%   corelation connective           %\creln
 \vrule height .42em width .02em depth -.06em
 \vrule height .21em width .2em depth -.19em\kern-.2em
 \vrule height .42em width .2em depth -.40em
 \vrule height .19em width .02em depth -.17em\kern-.02em
 \vrule height .22em width .02em depth -.20em\kern-.02em
 \vrule height .40em width .02em depth -.38em
 \vrule height .17em width .02em depth -.15em\kern-.02em
 \vrule height .24em width .02em depth -.22em\kern-.02em
 \vrule height .38em width .02em depth -.36em
 \vrule height .15em width .02em depth -.06em\kern-.02em
 \vrule height .36em width .02em depth -.26em
}\hskip.1ex}
\def\mprd{\hskip.2em\hbox{%
 \vrule height .27em width .15em depth -.25em
 \vrule height .32em width .12em depth -.20em
 \vrule height .27em width .15em depth -.25em
 \vrule height .32em width .12em depth -.20em
 \vrule height .27em width .15em depth -.25em}\hskip.2em}

%% autom.tex

%\def\quadr{$\sqcap\!\!\!\!\sqcup$}
%\def\deriv#1#2{\mid\!\!\!{{~~#1~~~}\over{~~#2~~~}}}
%\def\derivv#1#2{\mid\!\!\!{{~#1~~}\over{~#2~~}}}
%\def\bigcircarrow{\bigcirc \!\!\!\!\!\!\!\!\to}
%\def\bigcirceq{\bigcirc \!\!\!\!\!\!\!=}

%% pindef.tex

%def\Cfun{{\tt C-function}}
%def\Cfus{{\tt C-functions}}
%def\Ntst{{\tt nt-string}}
%def\MID{$~\mid~$}
%def\Al{{\cal A}}
%def\AL{${\cal A}$}
%def\As{{\cal A}^\ast}
%def\AS{${\cal A}^\ast$}
%def\clC{{\cal C}}
%def\clT{{\cal T}}
%def\clX{{\cal X}}
%def\ClT{${\cal T}$}
%def\ClX{${\cal X}$}
%def\Na{{\bf N}}
%def\NN{\Na$\times$\Na}
%def\Qa{{\bf Q}}
%def\QQ{\Qa$\times$\Qa}
%def\Za{{\bf Z}}
%def\ZZ{\Za$\times$\Za}
%def\Ra{{\bf R}}
%def\RR{\Ra$\times$\Ra}

%def\DEF{$~::=~$}
%def\EQV{$~\equiv~$}
%def\SMC{\hskip 1mm \vrule height 10pt width 1pt depth 1pt\hskip 1mm}
%def\SIM{$\sim$}
%def\SENZA{$\ominus$}

%def\slvm{\vskip 0.5 truemm}
