From cabfcdd7409661726918cd15325a2a88c56c1f0e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= <fwang@igalia.com>
Date: Thu, 7 May 2020 12:03:14 +0200
Subject: [PATCH] Make U+2016 and U+2980 symmetric

This make things consistent with other stretchy fences.

https://github.com/mathml-refresh/mathml/issues/176
---
 unicode.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/unicode.xml b/unicode.xml
index dd9a37d..0b8fee0 100644
--- a/unicode.xml
+++ b/unicode.xml
@@ -36658,8 +36658,8 @@ Barbara Beeton for the STIX project
             <desc>alias ISOTECH Verbar</desc>
          </entity>
          <font name="hlcry" pos="107"/>
-         <operator-dictionary priority="20" form="prefix" fence="true" stretchy="true" lspace="0" rspace="0"/>
-         <operator-dictionary priority="20" form="postfix" fence="true" stretchy="true" lspace="0" rspace="0"/>
+         <operator-dictionary priority="20" form="prefix" fence="true" stretchy="true" symmetric="true" lspace="0" rspace="0"/>
+         <operator-dictionary priority="20" form="postfix" fence="true" stretchy="true" symmetric="true" lspace="0" rspace="0"/>
          <description unicode="1.1">DOUBLE VERTICAL LINE</description>
       </character>
       <character id="U02017" dec="8215" type="other" mode="unknown">
@@ -59040,8 +59040,8 @@ Barbara Beeton for the STIX project
          </Elsevier>
          <AMS>\Vvert</AMS>
          <entity id="tverbar" set="STIX"/>
-         <operator-dictionary priority="20" form="prefix" fence="true" stretchy="true" lspace="0" rspace="0"/>
-         <operator-dictionary priority="20" form="postfix" fence="true" stretchy="true" lspace="0" rspace="0"/>
+         <operator-dictionary priority="20" form="prefix" fence="true" stretchy="true" symmetric="true" lspace="0" rspace="0"/>
+         <operator-dictionary priority="20" form="postfix" fence="true" stretchy="true" symmetric="true" lspace="0" rspace="0"/>
          <description unicode="3.2">TRIPLE VERTICAL BAR DELIMITER</description>
       </character>
       <character id="U02981" dec="10625" type="other" mode="unknown">