MathML Operator Dictionary: update some entries whose stretchiness has changed (bug 534970). r=karlt a=dbaron

--HG--
extra : rebase_source : f6a56bd7e60f05d59c5a7571e1e888bb0b1edca1

layout/mathml/mathfont.properties

@@ -169,9 +169,9 @@ operator.\u22A2.infix = lspace:5 rspace:5 # ⊢
 operator.\u21D2.infix = direction:horizontal stretchy lspace:5 rspace:5 # ⇒ ⇒
 operator.\u2970.infix = lspace:5 rspace:5 # ⥰
 operator.\u007C\u007C.infix = lspace:4 rspace:4 # ||
-operator.\u2A54.infix = direction:vertical stretchy lspace:4 rspace:4 # ⩔
+operator.\u2A54.infix = direction:vertical lspace:4 rspace:4 # ⩔
 operator.\u0026\u0026.infix = lspace:5 rspace:5 # &&
-operator.\u2A53.infix = direction:vertical stretchy lspace:4 rspace:4 # ⩓
+operator.\u2A53.infix = direction:vertical lspace:4 rspace:4 # ⩓
 operator.\u0026.infix = lspace:5 rspace:5 # &
 operator.\u0021.prefix = lspace:0 rspace:5 # !
 operator.\u2AEC.prefix = lspace:0 rspace:5 # ⫬
@@ -341,22 +341,22 @@ operator.\u2245.infix = lspace:5 rspace:5 # ≅
 operator.\u2248.infix = lspace:5 rspace:5 # ≈
 operator.\u22A5.infix = lspace:5 rspace:5 # ⊥
 operator.\u2223.infix = direction:vertical stretchy lspace:5 rspace:5 # ∣
-operator.\u2294.infix = direction:vertical stretchy lspace:4 rspace:4 # ⊔
+operator.\u2294.infix = direction:vertical lspace:4 rspace:4 # ⊔
-operator.\u228E.infix = direction:vertical stretchy lspace:4 rspace:4 # ⊎
+operator.\u228E.infix = direction:vertical lspace:4 rspace:4 # ⊎
 operator.\u002D.infix = lspace:4 rspace:4 # -
 operator.\u002B.infix = lspace:4 rspace:4 # +
 operator.\u2213.infix = lspace:4 rspace:4 # ∓
 operator.\u00B1.infix = lspace:4 rspace:4 # ±
-operator.\u2293.infix = direction:vertical stretchy lspace:4 rspace:4 # ⊓
+operator.\u2293.infix = direction:vertical lspace:4 rspace:4 # ⊓
-operator.\u22C1.prefix = direction:vertical stretchy largeop symmetric movablelimits lspace:0 rspace:3 # ⋁
+operator.\u22C1.prefix = direction:vertical largeop symmetric movablelimits lspace:1 rspace:2 # ⋁
 operator.\u2296.prefix = largeop movablelimits symmetric lspace:0 rspace:3 # ⊖
 operator.\u2295.prefix = largeop movablelimits symmetric lspace:0 rspace:3 # ⊕
 operator.\u2A01.prefix = largeop movablelimits symmetric lspace:0 rspace:3 # ⨁
-operator.\u2211.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ∑
+operator.\u2211.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ∑
-operator.\u22C3.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ⋃
+operator.\u22C3.prefix = direction:vertical largeop movablelimits symmetric lspace:0 rspace:3 # ⋃
-operator.\u228E.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ⊎
+operator.\u228E.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ⊎
-operator.\u2A04.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ⨄
+operator.\u2A04.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ⨄
-operator.\u2A06.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ⨆
+operator.\u2A06.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ⨆
 operator.\u006C\u0069\u006D.prefix = movablelimits lspace:0 rspace:3 # lim
 operator.\u006D\u0061\u0078.prefix = movablelimits lspace:0 rspace:3 # max
 operator.\u006D\u0069\u006E.prefix = movablelimits lspace:0 rspace:3 # min
@@ -364,20 +364,20 @@ operator.\u2212.infix = lspace:4 rspace:4 # official Unicode minus sign
 operator.\u2212.prefix = lspace:0 rspace:1 # official Unicode minus sign
 operator.\u2296.infix = lspace:3 rspace:3 # ⊖
 operator.\u2295.infix = lspace:3 rspace:3 # ⊕
-operator.\u2232.prefix = direction:vertical stretchy largeop symmetric lspace:0 rspace:0 # ∲
+operator.\u2232.prefix = direction:vertical largeop symmetric lspace:0 rspace:1 # ∲
-operator.\u222E.prefix = direction:vertical stretchy largeop symmetric lspace:0 rspace:0 # ∮
+operator.\u222E.prefix = direction:vertical largeop symmetric lspace:0 rspace:1 # ∮
-operator.\u2233.prefix = direction:vertical stretchy largeop symmetric lspace:0 rspace:0 # &CounterClockwiseContourIntegral;
+operator.\u2233.prefix = direction:vertical largeop symmetric lspace:0 rspace:1 # &CounterClockwiseContourIntegral;
-operator.\u222F.prefix = direction:vertical stretchy largeop symmetric lspace:0 rspace:0 # ∯
+operator.\u222F.prefix = direction:vertical largeop symmetric lspace:0 rspace:1 # ∯
-operator.\u222B.prefix = direction:vertical stretchy largeop symmetric lspace:0 rspace:0 # ∫
+operator.\u222B.prefix = direction:vertical largeop symmetric lspace:0 rspace:1 # ∫
 operator.\u22D3.infix = lspace:3 rspace:3 # ⋓
 operator.\u22D2.infix = lspace:3 rspace:3 # ⋒
 operator.\u2240.infix = lspace:3 rspace:3 # ≀
-operator.\u22C0.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ⋀
+operator.\u22C0.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ⋀
 operator.\u2297.prefix = largeop movablelimits symmetric lspace:0 rspace:3 # ⊗
 operator.\u2A02.prefix = largeop movablelimits symmetric lspace:0 rspace:3 # ⨂
-operator.\u2210.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ∐
+operator.\u2210.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ∐
-operator.\u220F.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ∏
+operator.\u220F.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ∏
-operator.\u22C2.prefix = direction:vertical stretchy largeop movablelimits symmetric lspace:0 rspace:3 # ⋂
+operator.\u22C2.prefix = direction:vertical largeop movablelimits symmetric lspace:1 rspace:2 # ⋂
 operator.\u2210.infix = lspace:3 rspace:3 direction:vertical # ∐
 operator.\u2606.infix = lspace:3 rspace:3 # ☆
 operator.\u22C6.infix = lspace:3 rspace:3 # ⋆