Merge pull request #21 from mathml-refresh/infix-multi

Make multi-char ASCII infix operators //, **, <> use lspace="4" and r…

Author: fred-wang

unicode.xml

@@ -840,7 +840,7 @@ Barbara Beeton for the STIX project
       </character>
       <character id="U0002A-0002A" dec="42-42" image="none">
          <unicodedata/>
-         <operator-dictionary priority="720" form="infix" lspace="1" rspace="1"/>
+         <operator-dictionary priority="720" form="infix" lspace="4" rspace="4"/>
          <description>MULTIPLE CHARACTER OPERATOR: **</description>
       </character>
       <character id="U0002A-0003D" dec="42-61" image="none">
@@ -959,7 +959,7 @@ Barbara Beeton for the STIX project
       </character>
       <character id="U0002F-0002F" dec="47-47" image="none">
          <unicodedata/>
-         <operator-dictionary priority="820" form="infix" lspace="1" rspace="1"/>
+         <operator-dictionary priority="820" form="infix" lspace="4" rspace="4"/>
          <description>MULTIPLE CHARACTER OPERATOR: //</description>
       </character>
       <character id="U0002F-0003D" dec="47-61" image="none">
@@ -1088,7 +1088,7 @@ Barbara Beeton for the STIX project
       </character>
       <character id="U0003C-0003E" dec="60-62" image="none">
          <unicodedata/>
-         <operator-dictionary priority="780" form="infix" lspace="1" rspace="1"/>
+         <operator-dictionary priority="780" form="infix" lspace="4" rspace="4"/>
          <description>MULTIPLE CHARACTER OPERATOR: &lt;&gt;</description>
       </character>
       <character id="U0003C-020D2" dec="60-8402" type="other" mode="unknown">