<!-- ISO AMS A: Arrows --> <!-- $Id$ --> <!-- Derived from the corresponding ISO 8879 standard entity set --> <!-- Checked against MathML 2.0 2nd Ed --> <!ENTITY cularr "↶"> <!-- left curved arrow --> <!ENTITY curarr "↷"> <!-- rt curved arrow --> <!ENTITY dArr "⇓"> <!-- down dbl arrow --> <!ENTITY darr2 "⇊"> <!-- two down arrows (now ddarr) --> <!ENTITY dharl "⇃"> <!-- dn harpoon-left --> <!ENTITY dharr "⇂"> <!-- down harpoon-rt --> <!ENTITY dlarr "↙"> <!-- SW pointing arrow (now swarr) --> <!ENTITY drarr "↘"> <!-- SE pointing arrow (now searr) --> <!ENTITY hArr "⇔"> <!-- l&r dbl arrow --> <!ENTITY harr "↔"> <!-- l&r arrow --> <!ENTITY harrw "↭"> <!-- l&r arr-wavy --> <!ENTITY Larr "↞"> <!-- twoheadleftarrow --> <!ENTITY lAarr "⇚"> <!-- left triple arrow --> <!ENTITY larr2 "⇇"> <!-- two left arrows (now llarr) --> <!ENTITY larrhk "↩"> <!-- left arrow hooked --> <!ENTITY larrlp "↫"> <!-- left arrow-looped --> <!ENTITY larrtl "↢"> <!-- left arrow-tailed --> <!ENTITY lhard "↽"> <!-- l harpoon-down --> <!ENTITY lharu "↼"> <!-- left harpoon-up --> <!ENTITY lrarr2 "⇆"> <!-- l arr over r arr (now lrarr) --> <!ENTITY lrhar2 "⇋"> <!-- l harp over r (now lrhar) --> <!ENTITY lsh "↰"> <!-- UPWARDS ARROW WITH TIP LEFTWARDS --> <!ENTITY map "↦"> <!-- mapsto --> <!ENTITY mumap "⊸"> <!-- multimap --> <!ENTITY nearr "↗"> <!-- NE pointing arrow --> <!ENTITY nhArr "⇎"> <!-- not l&r dbl arr --> <!ENTITY nharr "↮"> <!-- not l&r arrow --> <!ENTITY nlArr "⇍"> <!-- nLeftarrow: not implied by --> <!ENTITY nlarr "↚"> <!-- not left arrow --> <!ENTITY nrArr "⇏"> <!-- nRightarrow: not implies --> <!ENTITY nrarr "↛"> <!-- not right arrow --> <!ENTITY nwarr "↖"> <!-- NW pointing arrow --> <!ENTITY olarr "↺"> <!-- l arr in circle --> <!ENTITY orarr "↻"> <!-- r arr in circle --> <!ENTITY Rarr "↠"> <!-- twoheadrightarrow --> <!ENTITY rAarr "⇛"> <!-- right triple arrow --> <!ENTITY rarr2 "⇉"> <!-- two rt arrows (now rrarr) --> <!ENTITY rarrhk "↪"> <!-- rt arrow-hooked --> <!ENTITY rarrlp "↬"> <!-- rt arrow-looped --> <!ENTITY rarrtl "↣"> <!-- rt arrow-tailed --> <!ENTITY rarrw "↝"> <!-- rt arrow-wavy --> <!ENTITY rhard "⇁"> <!-- rt harpoon-down --> <!ENTITY rharu "⇀"> <!-- rt harpoon-up --> <!ENTITY rlarr2 "⇄"> <!-- r arr over l arr (now rlarr) --> <!ENTITY rlhar2 "⇌"> <!-- r harp over l (new rlhar) --> <!ENTITY rsh "↱"> <!-- UPWARDS ARROW WITH TIP RIGHTWARDS --> <!ENTITY uArr "⇑"> <!-- up dbl arrow --> <!ENTITY uarr2 "⇈"> <!-- two up arrows (now uuarr) --> <!ENTITY uharl "↿"> <!-- up harpoon-left --> <!ENTITY uharr "↾"> <!-- up harp-r --> <!ENTITY vArr "⇕"> <!-- up&down dbl arrow --> <!ENTITY varr "↕"> <!-- up&down arrow --> <!ENTITY xhArr "⟺"> <!-- long l&r dbl arrow --> <!ENTITY xharr "⟷"> <!-- long l&r arr --> <!ENTITY xlArr "⟸"> <!-- long l dbl arrow --> <!ENTITY xrArr "⟹"> <!-- long rt dbl arrow -->