From 279ff1ef7fcb2d46ae497991875fd77821e5cc29 Mon Sep 17 00:00:00 2001
From: Neil Soiffer <soiffer@alum.mit.edu>
Date: Tue, 15 Jun 2021 12:33:58 -0700
Subject: [PATCH] No reason for !, !! to be at a separate level from 800, so I
 moved them to that shared value. Added postfix version of '%'. Probably more
 thought needs to be given to the priority. E.g, does sqrt symbol take
 priority over '%'?

---
 unicode.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/unicode.xml b/unicode.xml
index 169b0f0..5cee55d 100644
--- a/unicode.xml
+++ b/unicode.xml
@@ -650,12 +650,12 @@ Barbara Beeton for the STIX project
          </entity>
          <font name="ptmr7t" pos="33"/>
          <operator-dictionary priority="230" form="prefix" lspace="0" rspace="0"/>
-         <operator-dictionary priority="810" form="postfix" lspace="0" rspace="0"/>
+         <operator-dictionary priority="800" form="postfix" lspace="0" rspace="0"/>
          <description unicode="1.1">EXCLAMATION MARK</description>
       </character>
       <character id="U00021-00021" dec="33-33" image="none">
          <unicodedata/>
-         <operator-dictionary priority="810" form="postfix" lspace="0" rspace="0"/>
+         <operator-dictionary priority="800" form="postfix" lspace="0" rspace="0"/>
          <description>MULTIPLE CHARACTER OPERATOR: !!</description>
       </character>
       <character id="U00021-0003D" dec="33-61" image="none">
@@ -737,6 +737,7 @@ Barbara Beeton for the STIX project
          </entity>
          <font name="ptmr7t" pos="37"/>
          <operator-dictionary form="infix" lspace="3" rspace="3" priority="640"/>
+         <operator-dictionary form="postfix" lspace="0" rspace="0" priority="800"/>
          <description unicode="1.1">PERCENT SIGN</description>
       </character>
       <character id="U00026" dec="38" mode="text" type="other">