From a9ee9244b577cc0c53eb53337c04e25a6456bd28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= Date: Fri, 20 Aug 2010 15:33:36 +1200 Subject: [PATCH] MathML Operator Dictionary: add entries for vertical and horizontal arrows (bug 534970). r=karlt a=dbaron --HG-- extra : rebase_source : 6ace7c7366574544cfe68967c2b562a11d5b820b --- layout/mathml/mathfont.properties | 55 +++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) diff --git a/layout/mathml/mathfont.properties b/layout/mathml/mathfont.properties index d9fb9c0fa731..140ba4de70a7 100644 --- a/layout/mathml/mathfont.properties +++ b/layout/mathml/mathfont.properties @@ -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 ##################################################################################