; TeX output 1996.03.06:1719so*DtGGcmr17The7tStMary'sRoadsymqbsolfontXQ cmr12JeremryGibbSonsAlanJe reyVVersion2,Marcrh1994+čINff cmbx121aLIntros3ductionIK`y cmr10This;isabriefguidetotheStMary'sRoadsymbGolfont,uanewsymbGolfontfor ITU>'ExXsZandL5ffٓRcmr7A͉TU>'EX.ItisdesignedtolivewiththeAmericanMathematicalSoGciety'sIfonts,UUcontainedin cmmi10xI,C,andF)andmanymore.jItalsoI xes3some`features'withprevioussymbGols( !", cmsy10usednottobecircular,nowyouIcan~useinstead)andaddsobviousvqariantsofothers(suchas [, Z)and(\).IItTisallwrappGedupinaL5ffA͉TU>'ExX2"(packqagecalledstmaryrd,UwhichcanbGeusedbyIsaying:[X!ߤN cmtt9\usepackage{stmaryrd} IThisUUpackqageunderstandsalargenumbGerofoptions:XbheavycirclesmsaysthatallofthecircularopGeratorssuchas\oplusand b\otimesshouldbydefaultbGeheavy*,andthat\varoplusand\varotimesbshouldUUrefertothelightones.XbonlysaysthatonlythesymbGolslistedintheoptionlistshouldbede ned.bF*orUUexample:tZ\usepackage[only,mapsfrom,Mapsto,Mapsfrom]{stmaryrd}bsaysKthatonlythesymbGols` [',w`Z)'and`(\'shouldbede ned,wwhichisbusefulUUifyouuseaTU>'ExXimplementationwithlimitedmemory*.!čI2aLSymbs3olsITheUUfollowingopGeratorsarede ned:L8T"Cscmtt8\YdownX&\Yleft6>?M!\YrightL8T\Yup_t &\baro5 ?M!\bbslashKqNT\binampersandCO&\bindnasrepma5i?M!\boxastKqT\boxbarC&\boxbox5i?M!\boxbslashKqT\boxcircleC&\boxdot5i?M!\boxempty1*soKqT\boxslash;.&\curlyveedownarrow5/?M!\curlyveeuparrow K'T\curlywedgedownarrow;&&\curlywedgeuparrow5)?M!\fatbslashMUU#T\fatsemi(&\fatslash5=9?M!\interleaveKq2T\leftslice!&\merge5i ?M!\minusoKqT\moo;C&\nplus5i:?M!\obarK@T\oblongC;&\obslash5i=?M!\ogreaterthanKq&\ovee5i??M!\owedgeKq3T\rightslice; &\sslash6!8?M!\talloblongI,T\varbigcirc;&\varcurlyvee5 ?M!\varcurlywedgeKqT\varoastC&\varobar5i?M!\varobslashKqT\varocircleC&\varodot5i5?M!\varogreaterthanKq4T\varolessthanC&\varominus5i?M!\varoplusKqT\varoslashC&\varotimes5i6?M!\varoveeKq7T\varowedge_t"&\vartimesJ0ITheUUfollowinglargeopGeratorsarede ned:JTeT\bigboxb&\bigcurlyvee5"vc?M!\bigcurlywedge KǟgT\biginterleavep&\bignplus7>f?M!\bigparallelJTdT\bigsqcap`&\bigtriangledown5"va?M!\bigtriangleupJ0ITheUUfollowingrelationsarede ned:KAT\inplus;B&\niplus5iR?M!\ntrianglelefteqslant KqST\ntrianglerighteqslantCD&\subsetplus5iF?M!\subsetpluseqKqET\supsetplusCG&\supsetpluseq5iP?M!\trianglelefteqslantKqQT\trianglerighteqslantJ0ITheUUfollowingarrowsarede ned:D㈸(UX=\T\Longmapsfrom Z=UX)&\Longmapsto4M!(\?M!\Mapsfrom IZ)T\Mapsto&^&\leftarrowtriangle5i-?M!\leftrightarroweqI]T\leftrightarrowtriangleX &\lightning/0 UXv[?M!\longmapsfromI [T\mapsfromX1&\nnearrow6>0?M!\nnwarrowI_T\rightarrowtriangle4M&\rrparenthesis6!?M!\shortdownarrowKqT\shortleftarrowC&\shortrightarrow6!?M!\shortuparrowK%T\ssearrowX$&\sswarrowJ0ITheUUfollowingdelimitersarede ned:LHT\LbagI&\Rbag7>*?M!\lbag LqJT\llbracket_tV&\llceil6T?M!\llfloorM8LT\llparenthesis+&\rbag7IK?M!\rrbracketL8WT\rrceil_tU&\rrfloorJ0INote=mthat\llbracketand\rrbracketare`growing'delimitersthatcanbGeusedIwithUU\leftand\right:0U?JGP}K`r;m\WP}`zߣu\t> 0ercmmi7astmary7b _m 7{aiAIZPiTL\|Zu vd~aHbcZ)5} )5~N=8u=8w=8w=8w=8w=8w=8wfi=8vdJWaJ8bJҠcJbTdJeJfNT}TTTTTTfiT~0ITheUUfollowingspGecialcharactersareusedinbuildingothers:2 soOYT\Arrownot&\&\Mapsfromchar9M"Z?M!\Mapstochar OXT\arrownot&[&\mapsfromcharIF*orexample,ifyoutypGe$\Arrownot\Rightarrow$yougetY),andifyoutypGeI$\arrownot\rightarrowtriangle$UUyougetX_.!čIAcknowledgementsIThanksRtoDavidMurphyforsuggestionsinthedesignoftheStMary'sRoadfont.IThankstoMartinW*ardforthe rstpassofconvertingthestmaryrdpackqagetoIL5ffA͉TU>'ExX2"nS.qThanksUUtoSimonMercerforallthewineat45St.Mary'sRoad.ILegalffrubbishIThis doGcumentiscopyright=c A1991{1994AlanJe rey*. B'TheStMary'sRoadIfonts3arecopyrightPc g1991{1994JeremyGibbGonsandAlanJe rey*.WAllrightsareIreserved.qTheUUmoralrightoftheauthorshasbGeenasserted.XY*ouare#': cmti10not!allowe}'d͋totakemoneyforthedistributionoruseofthis leexceptIforUUanominalchargeforcopying,etc.XRedistributionofunchanged lesisallowedprovidedthatthewholepackqageIisUUdistributed.3;#': cmti10"Cscmtt8!ߤN cmtt9 cmmi10 0ercmmi7K`y cmr10ٓRcmr7d