APPENDIXBB.lHebrewandGreeklettersHebrewlettersTypeTypesetalephKbethdaleth1gimel2B.2Binaryrelations#GreeklettersLowercaseTypeTypes班TypeTypesetTypeTypesetalphaaXiotaLsigmaabeta0kappaKtauTgamma1lambdaXupsilonVdelta6muphi4epsilonnuVchiXzetacxipsi0etaPi7Fomega3thetaerhoPvarepsilonvarpiWvarsigmaqvarthetaJvarrhoQvarphi9digamma厂varkappaxUppercaseTypeTypesetTypeTypesetTypeTypesetGammarXiPhiDeltaPinPsiThetaeSigmas0megaQLambdaAUpsilonYvarGammarvarXi三varPhivarDeltaAvarPinvarPsivarTheta9varSigmarvar0megar?varLambdaAXvarUpsilonrB.2BinaryrelationsTypeTypesetTypeTypesetinniorownsleqorle11ggprecYsuccpreceqsucceqsim2approxsimeqcongequivdoteq=subsetcsupsetDsubseteqcsupseteqDsqsubseteqcsqsupseteqsmilefrownperp丄modelsAmid1parallelIIvdash卜dashvpropto(XasympbowtietX3sqsubset匚sqsupsetJoinNotethecoloncommandusedin/:xx2,typedasfcolonxtox*2MorebinaryrelationsTypeTypesetTypeTypesetleqqleqslantwgeqslanteqslantlesseqslantgtrlesssimgtrsimMessapprox%gtrapproxapproxeq%lessdot111ggglessgtrgtrlesslesseqgtrgtreqlessMesseqqgtrgtreqqlessdoteqdoteqcirccirceqotriangleqdrisingdotseqfallingdotseq=backsimthicksimbacksimeqthickapproxpreccurlyeqwsucccurlyeqcurlyeqprecwcurlyeqsuccprecsimsuccsimprecapproxsuccapproxsubseteqqsupseteqqSubsetSupsetvartriangleleft1vartrianglerighttrianglelefteqtrianglerighteqvDash1=WdashIFWvdashIIFsmallsmileS-Zsmallfrownshortmid1shortparallelIIbumpeqBumpeqbetweenQpitchforkfhvarproptoabackepsilon3blacktriangleleftblacktrianglerightthereforebecauseNegatedbinaryrelationsTypeTypesetTypeTypesetneqorne丰notinnlessngtrnleqngeqinleqslantngeqslantnleqqngeqqIlneqlneqq至gneqqlvertneqq至gvertneqq至lnsimwgnsimlnapprox*gnapproxSnprec*nsuccnpreceqnsucceqprecneqqsuccneqqprecnsimsuccnsimprecnapprox痔succnapproxnsimncongnshortmidrnshortparallelHnmidnparallelnvdashnvDashXnVdashnVDash庠ntriangleleftntrianglerightntrianglelefteqntrianglerighteqnsubseteqgnsupseteqnsubseteqqInsupseteqqsubsetneqcsupsetneqDvarsubsetneqvarsupsetneqsubsetneqqsupsetneqqvarsubsetneqqvarsupsetneqqB.3BinaryoperationsTypeTypesetTypeset+十pm土mp干timesXcdotcircobigcirc0divbmodmodcapncupUsqcapnsqcupUwedgeorlandAveeorMorVtrianglelefttrianglerighttbigtriangleupbigtriangledownVoplusominus6otimesgoslash0odot0bulletdaggertddaggerisetminussmallsetminus、wrIamalgIIast*stardiamondlhdrhdounlhdnnrhddotplus+centerdotltimesXrtimes为MeftthreetimesXrightthreetimesXcircleddashouplus出barwedgeAdoublebarwedgeAcurlywedge人curlyveeYveebarVintercalTdoublecaporCapdoublecuporCup妙circledastcircledcircboxminus日boxtimes冈boxdotboxplus田divideontimes*vartriangleAnd&#AppendixBB.4ArrowsTypeIrpesetTypesetleftarrowMongleftarrowLeftarrowRightarrowLongleftarrowLongrightarrow=MeftrightarrowMongleftrightarrow4LeftrightarrowoLongleftrightarrowuparrowTdownarrowIUparrow倉DownarrowUupdownarrowtUpdownarrowJnearrow/searrowswarrow/nwarrowiffmapstochar1mapstoiMongmapsto1hookleftarrowhookrightarrowJMeftharpoonuprightharpoonupMeftharpoondownrightharpoondown7leadstoMeftleftarrows匸rightrightarrows=4Meftrightarrows4jrightleftarrowsLleftarrowRrightarrowtwoheadleftarrowtwoheadrightarrowHMeftarrowtail*MooparrowleftMooparrowright9-*upuparrowsndowndownarrow