\font\cmXIIbi=cmbxti12                                                          
\font\cmXIIcc=cmcsc12 \font\cmXIIex=cmex12                                      
\font\cmXIIrm=cmr12 \font\cmXIIit=cmti12                                        
\font\cmXIIbd=cmbx12 \font\cmXIImi=cmmi12                                       
\font\cmXIItt=cmtt12 \font\cmXIIsy=cmsy12                                       
\expandafter\newdimen\csname\the\naMEtok ilsxii\endcsname                       
\global\csname\the\naMEtok ilsxii\endcsname=\bAseSkip                           
\ifdim\csname\the\naMEtok ilsxii\endcsname=0pt                                  
\csname\the\naMEtok ilsxii\endcsname=14pt\fi%                                   
\expandafter\xdef\csname\the\naMEtok\endcsname{%                                
\def\noexpand\rm{\fam0\cmXIIrm}%                                                
\def\noexpand\mi{\fam1\cmXIImi}%                                                
\def\noexpand\sy{\fam2\cmXIIsy}%                                                
\def\noexpand\ex{\fam3\cmXIIex}%                                                
    \textfont0=\cmXIIrm \textfont1=\cmXIImi                                     
    \textfont2=\cmXIIsy \textfont3=\cmXIIex                                     
    \textfont\itfam=\cmXIIit                                                    
    \textfont\ttfam=\cmXIItt \textfont\bffam=\cmXIIbd                           
    \textfont\ccfam=\cmXIIcc                                                    
\def\noexpand\bd{\fam\bffam\cmXIIbd}%                                           
\def\noexpand\it{\fam\itfam\cmXIIit}%                                           
\def\noexpand\tt{\fam\ttfam\cmXIItt}%                                           
\def\noexpand\cc{\fam\ccfam\cmXIIcc}%                                           
\def\noexpand\bi{\fam\bifam\cmXIIbi}%                                           
\noexpand\rm%                                                                   
\noexpand\nonIBM%                                                               
\noexpand\let\noexpand\italic=\noexpand\it%                                     
\noexpand\let\noexpand\bolditalic=\noexpand\bi%                                 
\noexpand\let\noexpand\bold=\noexpand\bd%                                       
\noexpand\let\noexpand\caps=\noexpand\cc%                                       
\noexpand\let\noexpand\typewriter=\noexpand\tt%                                 
\noexpand\let\noexpand\roman=\noexpand\rm%                                      
\noexpand\let\noexpand\symbol=\noexpand\sy%                                     
\noexpand\let\noexpand\mathitalic=\noexpand\mi%                                 
\noexpand\let\noexpand\extension=\noexpand\ex%                                  
\noexpand\interlineskip{%                                                       
\noexpand\csname\the\naMEtok ilsxii\noexpand\endcsname}}%                       
