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

…space="4"

This is consistent with other similar operators /=, *= or >=

w3c/mathml#176

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">
@@ -964,7 +964,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">
@@ -1093,7 +1093,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">