; TeX output 1996.03.06:1719yiDtqGcmr17TheBqGcmss17ulsy2pacuNkagey?!",ff cmsy10#􍍍xKXQ ff cmr12Ulrich/Goldschmitt ulrich@carlotta.iam.uni-bdConn.de..L95/02/01D3NG cmbx121P(HouwztoworkwiththekAHG cmssbx10ulsyC-Symb=olsb#3XQ cmr12In,thispacrkXagetwosymbSolsarede ned,= rstanodplus-symrbol,=sec-3ondlyasymrbSolforcontradiction.DNorwloSok rstatthede nitionofthefont(placedin߆T cmtt12Uulsy.fd):^7@|{Ycmr81>U`#!", 3 cmsy10h&m#R 3 cmss10Uulsyi 7@2>U`U`\DeclareFontShape{U}{ulsy}{m}{n}7@4O^{ T<10><12>ulsy10}{}7@5>U`h b> 3 cmmi10=UulsyiDi3As5yroucansee,Hthereareonlythesizes)R6 cmss1210ptand12ptavXailable(but3thereare vresize-vXariantsineachfontofthecontradiction-symbSol).DThenamesarede nedlikrethis:7@6>U`hulsy%i 7@7>U`\newcommand{\odplus}{{\usefont{U}{ulsy}{m}{n}\symbol{'010}}}7@8>U`\newcommand{\blitza}{{\usefont{U}{ulsy}{m}{n}\symbol{'011}}}7@9>U`\newcommand{\blitzb}{{\usefont{U}{ulsy}{m}{n}\symbol{'012}}}310>U`\newcommand{\blitzc}{{\usefont{U}{ulsy}{m}{n}\symbol{'013}}}311>U`\newcommand{\blitzd}{{\usefont{U}{ulsy}{m}{n}\symbol{'014}}}312>U`\newcommand{\blitze}{{\usefont{U}{ulsy}{m}{n}\symbol{'015}}}313>U`h=ulsy%iDiDNorwwlet'sseehowtheyloSoklike(youshouldbSeawarethatthebig3ones(espSecially\blitze)maryoverlapwiththelinebSeforeorafter):3\odplus:8*QR ulsy10,3\blitza:8 ,\blitzb: ,\blitzc: ,\blitzd: \blitze: .3,F C cmbxti10Have)fun!3 Yffr g^ O!cmsy7K`y cmr10ThisUU lehasversionnumbGer1.0,lastrevised95/02/01.1*;,F C cmbxti10*QR ulsy10)R6 cmss12&m#R 3 cmss10#!", 3 cmsy10 b> 3 cmmi10