MathML Operator Dictionary: add entries for vertical and horizontal arrows (bug 534970). r=karlt a=dbaron

--HG--
extra : rebase_source : 6ace7c7366574544cfe68967c2b562a11d5b820b
This commit is contained in:
Frédéric Wang 2010-08-20 15:33:36 +12:00
Родитель 24af5d319f
Коммит a9ee9244b5
1 изменённых файлов: 55 добавлений и 0 удалений

Просмотреть файл

@ -508,6 +508,61 @@ operator.\u2227.infix = lspace:4 rspace:4 # ∧
operator.\u2228.infix = lspace:4 rspace:4 # ∨
operator.\u2229.infix = lspace:4 rspace:4 # ∩
operator.\u222A.infix = lspace:4 rspace:4 # ∪
operator.\u219C.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards wave arrow
operator.\u219D.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards wave arrow
operator.\u219E.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards two headed arrow
operator.\u219F.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards two headed arrow
operator.\u21A0.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards two headed arrow
operator.\u21A1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards two headed arrow
operator.\u21A2.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards arrow with tail
operator.\u21A3.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards arrow with tail
operator.\u21A8.infix = lspace:5 rspace:5 stretchy direction:vertical # up down arrow with base
operator.\u21AB.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards arrow with loop
operator.\u21AC.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards arrow with loop
operator.\u21AD.infix = lspace:5 rspace:5 stretchy direction:horizontal # left right wave arrow
operator.\u21AF.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards zigzag arrow
operator.\u21B0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip leftwards
operator.\u21B1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip rightwards
operator.\u21B2.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip leftwards
operator.\u21B3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip rightwards
operator.\u21B4.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards arrow with corner downwards
operator.\u21B5.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with corner leftwards
operator.\u21B9.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards arrow to bar over rightwards arrow to bar
operator.\u21C7.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards paired arrows
operator.\u21C8.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards paired arrows
operator.\u21C9.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards paired arrows
operator.\u21CA.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards paired arrows
operator.\u21DA.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards triple arrow
operator.\u21DB.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards triple arrow
operator.\u21DC.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards squiggle arrow
operator.\u21DD.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards squiggle arrow
operator.\u21E0.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards dashed arrow
operator.\u21E1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards dashed arrow
operator.\u21E2.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards dashed arrow
operator.\u21E3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards dashed arrow
operator.\u21E6.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards white arrow
operator.\u21E7.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow
operator.\u21E8.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards white arrow
operator.\u21E9.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards white arrow
operator.\u21EA.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow from bar
operator.\u21EB.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal
operator.\u21EC.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with horizontal bar
operator.\u21ED.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with vertical bar
operator.\u21EE.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow
operator.\u21EF.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow on pedestal
operator.\u21F0.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards white arrow from wall
operator.\u21F3.infix = lspace:5 rspace:5 stretchy direction:vertical # up down white arrow
operator.\u21F6.infix = lspace:5 rspace:5 stretchy direction:horizontal # three rightwards arrows
operator.\u21FD.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards open-headed arrow
operator.\u21FE.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards open-headed arrow
operator.\u21FF.infix = lspace:5 rspace:5 stretchy direction:horizontal # left right open-headed arrow
operator.\u290A.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards triple arrow
operator.\u290B.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards triple arrow
operator.\u290C.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards double dash arrow
operator.\u290D.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards double dash arrow
operator.\u290E.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards triple dash arrow
operator.\u290F.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards triple dash arrow
operator.\u2910.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards two-headed triple dash arrow
##################################################################################