Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-12-04 02:57:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

MathML Operator Dictionary: fix conflicts for entries becoming accent (bug 534970). r=karlt

Browse Source 
--HG--
extra : transplant_source : %EAn%3B%8A%B7%9Fs%BE%06%0C%EB%F17%7E%D7%CD%7E%8AG%C2
This commit is contained in:
Frédéric Wang 2011-03-25 16:38:58 +13:00
parent ea6150c5dc
commit 8dd5a60ed6
3 changed files with 70 additions and 70 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

134
layout/mathml/mathfont.properties
View File

@ -125,7 +125,7 @@ operator.\u0021\u003D.infix = lspace:4 rspace:4 # !=
operator.\u0025.infix = lspace:3 rspace:3 # percent sign
operator.\u0026.postfix = lspace:0 rspace:0 # &
operator.\u0026\u0026.infix = lspace:4 rspace:4 # &&
operator.\u0027.postfix = lspace:2 rspace:0 # '
operator.\u0027.postfix = lspace:0 rspace:0 accent # '
operator.\u0028.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # (
operator.\u0029.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # )
operator.\u002A.infix = lspace:3 rspace:3 # *
@ -223,11 +223,11 @@ operator.\u20DB.postfix = lspace:0 rspace:0 accent # ⃛
operator.\u20DC.postfix = lspace:0 rspace:0 accent # combining four dots above
operator.\u2145.prefix = lspace:2 rspace:1 # ⅅ
operator.\u2146.prefix = lspace:2 rspace:0 # ⅆ
operator.\u2190.infix = lspace:5 rspace:5 stretchy direction:horizontal # ←
operator.\u2190.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ←
operator.\u2191.infix = lspace:5 rspace:5 stretchy direction:vertical # ↑
operator.\u2192.infix = lspace:5 rspace:5 stretchy direction:horizontal # →
operator.\u2192.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # →
operator.\u2193.infix = lspace:5 rspace:5 stretchy direction:vertical # ↓
operator.\u2194.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↔
operator.\u2194.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↔
operator.\u2195.infix = lspace:5 rspace:5 stretchy direction:vertical # ↕
operator.\u2196.infix = lspace:5 rspace:5 stretchy direction:vertical # ↖
operator.\u2197.infix = lspace:5 rspace:5 stretchy direction:vertical # ↗
@ -235,24 +235,24 @@ operator.\u2198.infix = lspace:5 rspace:5 stretchy direction:horizontal # &Lower
operator.\u2199.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↙
operator.\u219A.infix = lspace:5 rspace:5 accent # leftwards arrow with stroke
operator.\u219B.infix = lspace:5 rspace:5 accent # rightwards arrow with stroke
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.\u219C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards wave arrow
operator.\u219D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards wave arrow
operator.\u219E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards two headed arrow
operator.\u219F.infix = lspace:5 rspace:5 stretchy accent direction:vertical # upwards two headed arrow
operator.\u21A0.infix = lspace:5 rspace:5 stretchy accent 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.\u21A4.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↤
operator.\u21A2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with tail
operator.\u21A3.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with tail
operator.\u21A4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↤
operator.\u21A5.infix = lspace:5 rspace:5 stretchy direction:vertical # ↥
operator.\u21A6.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↦
operator.\u21A6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↦
operator.\u21A7.infix = lspace:5 rspace:5 stretchy direction:vertical # ↧
operator.\u21A8.infix = lspace:5 rspace:5 stretchy direction:vertical # up down arrow with base
operator.\u21A9.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↩ ↩
operator.\u21AA.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↪ ↪
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.\u21A9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↩ ↩
operator.\u21AA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↪ ↪
operator.\u21AB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with loop
operator.\u21AC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with loop
operator.\u21AD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right wave arrow
operator.\u21AE.infix = lspace:5 rspace:5 accent # left right arrow with stroke
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
@ -264,50 +264,50 @@ operator.\u21B5.infix = lspace:5 rspace:5 stretchy direction:vertical # downward
operator.\u21B6.infix = lspace:5 rspace:5 accent # anticlockwise top semicircle arrow
operator.\u21B7.infix = lspace:5 rspace:5 accent # clockwise top semicircle arrow
operator.\u21B8.infix = lspace:5 rspace:5 # north west arrow to long bar
operator.\u21B9.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards arrow to bar over rightwards arrow to bar
operator.\u21B9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow to bar over rightwards arrow to bar
operator.\u21BA.infix = lspace:5 rspace:5 # anticlockwise open circle arrow
operator.\u21BB.infix = lspace:5 rspace:5 # clockwise open circle arrow
operator.\u21BC.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↼
operator.\u21BD.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↽
operator.\u21BC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↼
operator.\u21BD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↽
operator.\u21BE.infix = lspace:5 rspace:5 stretchy direction:vertical # ↾
operator.\u21BF.infix = lspace:5 rspace:5 stretchy direction:vertical # ↿
operator.\u21C0.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇀
operator.\u21C1.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇁
operator.\u21C0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇀
operator.\u21C1.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇁
operator.\u21C2.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇂
operator.\u21C3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇃
operator.\u21C4.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇄
operator.\u21C4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇄
operator.\u21C5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇅
operator.\u21C6.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇆
operator.\u21C7.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards paired arrows
operator.\u21C6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇆
operator.\u21C7.infix = lspace:5 rspace:5 stretchy accent 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.\u21C9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards paired arrows
operator.\u21CA.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards paired arrows
operator.\u21CB.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇋
operator.\u21CC.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇌
operator.\u21CB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇋
operator.\u21CC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇌
operator.\u21CD.infix = lspace:5 rspace:5 accent # leftwards double arrow with stroke
operator.\u21CE.infix = lspace:5 rspace:5 accent # left right double arrow with stroke
operator.\u21CF.infix = lspace:5 rspace:5 accent # rightwards double arrow with stroke
operator.\u21D0.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇐
operator.\u21D0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇐
operator.\u21D1.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇑
operator.\u21D2.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇒ ⇒
operator.\u21D2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇒ ⇒
operator.\u21D3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇓
operator.\u21D4.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇔
operator.\u21D4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇔
operator.\u21D5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇕
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.\u21DA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple arrow
operator.\u21DB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple arrow
operator.\u21DC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards squiggle arrow
operator.\u21DD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards squiggle arrow
operator.\u21DE.infix = lspace:5 rspace:5 # upwards arrow with double stroke
operator.\u21DF.infix = lspace:5 rspace:5 # downwards arrow with double stroke
operator.\u21E0.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards dashed arrow
operator.\u21E0.infix = lspace:5 rspace:5 stretchy accent 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.\u21E2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards dashed arrow
operator.\u21E3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards dashed arrow
operator.\u21E4.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇤
operator.\u21E5.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⇥
operator.\u21E6.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards white arrow
operator.\u21E4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇤
operator.\u21E5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇥
operator.\u21E6.infix = lspace:5 rspace:5 stretchy accent 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.\u21E8.infix = lspace:5 rspace:5 stretchy accent 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
@ -315,22 +315,22 @@ operator.\u21EC.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards
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.\u21F0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow from wall
operator.\u21F1.infix = lspace:5 rspace:5 # north west arrow to corner
operator.\u21F2.infix = lspace:5 rspace:5 # south east arrow to corner
operator.\u21F3.infix = lspace:5 rspace:5 stretchy direction:vertical # up down white arrow
operator.\u21F4.infix = lspace:5 rspace:5 accent # right arrow with small circle
operator.\u21F5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇵
operator.\u21F6.infix = lspace:5 rspace:5 stretchy direction:horizontal # three rightwards arrows
operator.\u21F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # three rightwards arrows
operator.\u21F7.infix = lspace:5 rspace:5 accent # leftwards arrow with vertical stroke
operator.\u21F8.infix = lspace:5 rspace:5 accent # rightwards arrow with vertical stroke
operator.\u21F9.infix = lspace:5 rspace:5 accent # left right arrow with vertical stroke
operator.\u21FA.infix = lspace:5 rspace:5 accent # leftwards arrow with double vertical stroke
operator.\u21FB.infix = lspace:5 rspace:5 accent # rightwards arrow with double vertical stroke
operator.\u21FC.infix = lspace:5 rspace:5 accent # left right arrow with double vertical stroke
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.\u21FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards open-headed arrow
operator.\u21FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards open-headed arrow
operator.\u21FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right open-headed arrow
operator.\u2200.prefix = lspace:2 rspace:1 # ∀
operator.\u2201.infix = lspace:1 rspace:2 # complement
operator.\u2202.prefix = lspace:2 rspace:1 # ∂
@ -663,12 +663,12 @@ operator.\u27EC.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:ve
operator.\u27ED.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right white tortoise shell bracket
operator.\u27EE.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical left flattened parenthesis
operator.\u27EF.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right flattened parenthesis
operator.\u27F5.infix = lspace:2 rspace:2 stretchy direction:horizontal # ⟵
operator.\u27F6.infix = lspace:2 rspace:2 stretchy direction:horizontal # ⟶
operator.\u27F7.infix = lspace:2 rspace:2 stretchy direction:horizontal # ⟷
operator.\u27F8.infix = lspace:2 rspace:2 stretchy direction:horizontal # ⟸
operator.\u27F9.infix = lspace:2 rspace:2 stretchy direction:horizontal # ⟹
operator.\u27FA.infix = lspace:2 rspace:2 stretchy direction:horizontal # ⟺
operator.\u27F5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟵
operator.\u27F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟶
operator.\u27F7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟷
operator.\u27F8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟸
operator.\u27F9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟹
operator.\u27FA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟺
operator.\u27FB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards arrow from bar
operator.\u27FC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards arrow from bar
operator.\u27FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards double arrow from bar
@ -686,11 +686,11 @@ operator.\u2908.infix = lspace:5 rspace:5 # downwards arrow with horizontal stro
operator.\u2909.infix = lspace:5 rspace:5 # upwards arrow with horizontal stroke
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
operator.\u290C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards double dash arrow
operator.\u290D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards double dash arrow
operator.\u290E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple dash arrow
operator.\u290F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple dash arrow
operator.\u2910.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two-headed triple dash arrow
operator.\u2911.infix = lspace:5 rspace:5 accent # rightwards arrow with dotted stem
operator.\u2912.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤒
operator.\u2913.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤓
@ -750,24 +750,24 @@ operator.\u294A.infix = lspace:5 rspace:5 accent # left barb up right barb down
operator.\u294B.infix = lspace:5 rspace:5 accent # left barb down right barb up harpoon
operator.\u294C.infix = lspace:5 rspace:5 # up barb right down barb left harpoon
operator.\u294D.infix = lspace:5 rspace:5 # up barb left down barb right harpoon
operator.\u294E.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥎
operator.\u294E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥎
operator.\u294F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥏
operator.\u2950.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥐
operator.\u2950.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥐
operator.\u2951.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥑
operator.\u2952.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥒
operator.\u2953.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥓
operator.\u2952.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥒
operator.\u2953.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥓
operator.\u2954.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥔
operator.\u2955.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥕
operator.\u2956.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥖
operator.\u2957.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥗
operator.\u2958.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥘
operator.\u2959.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥙
operator.\u295A.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥚
operator.\u295B.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥛
operator.\u295A.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥚
operator.\u295B.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥛
operator.\u295C.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥜
operator.\u295D.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥝
operator.\u295E.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥞
operator.\u295F.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥟
operator.\u295E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥞
operator.\u295F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥟
operator.\u2960.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥠
operator.\u2961.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥡
operator.\u2962.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb up above leftwards harpoon with barb down
@ -784,7 +784,7 @@ operator.\u296C.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb
operator.\u296D.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb down below long dash
operator.\u296E.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥮
operator.\u296F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥯
operator.\u2970.infix = lspace:5 rspace:5 # ⥰
operator.\u2970.infix = lspace:5 rspace:5 accent # ⥰
operator.\u2971.infix = lspace:5 rspace:5 accent # equals sign above rightwards arrow
operator.\u2972.infix = lspace:5 rspace:5 accent # tilde operator above rightwards arrow
operator.\u2973.infix = lspace:5 rspace:5 accent # leftwards arrow above tilde operator

2
layout/reftests/mathml/scale-stretchy-3-ref.xhtml
View File

@ -13,7 +13,7 @@
<tr align="center">
<td>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder>
<munder accentunder="false">
<mspace width="100px" height="5px" style="background: yellow"/>
<mspace width="110px" height="25px" depth="25px"
style="background: red;"/>

4
layout/reftests/mathml/scale-stretchy-3.xhtml
View File

@ -13,7 +13,7 @@
<tr align="center">
<td>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder>
<munder accentunder="false">
<mspace width="100px" height="5px" style="background: yellow"/>
<mo style="color: blue;">&#x21DB;</mo>
</munder>
@ -29,7 +29,7 @@
<tr align="center">
<td>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<munder>
<munder accentunder="false">
<mspace width="100px" height="5px" style="background: yellow"/>
<mspace width="110px" height="25px" depth="25px"
style="background: red;"/>