Skip to content
This repository was archived by the owner on Jun 16, 2021. It is now read-only.

Commit 129f793

Browse files
authored
Merge pull request #25 from mathml-refresh/triple-bar
Remove operators "|||" from the dictionary
2 parents 44832a9 + 9f203ff commit 129f793

File tree

1 file changed

+0
-7
lines changed

1 file changed

+0
-7
lines changed

unicode.xml

-7
Original file line numberDiff line numberDiff line change
@@ -1827,13 +1827,6 @@ Barbara Beeton for the STIX project
18271827
<operator-dictionary priority="20" form="postfix" fence="true" lspace="0" rspace="0"/>
18281828
<description>MULTIPLE CHARACTER OPERATOR: ||</description>
18291829
</character>
1830-
<character id="U0007C-0007C-0007C" dec="124-124-124" image="none">
1831-
<unicodedata/>
1832-
<operator-dictionary priority="270" form="infix" lspace="3" rspace="3" fence="true"/>
1833-
<operator-dictionary priority="20" form="prefix" fence="true" lspace="0" rspace="0"/>
1834-
<operator-dictionary priority="20" form="postfix" fence="true" lspace="0" rspace="0"/>
1835-
<description>MULTIPLE CHARACTER OPERATOR: |||</description>
1836-
</character>
18371830
<character id="U0007D" dec="125" mode="math" type="closing">
18381831
<unicodedata category="Pe" combclass="0" bidi="ON" mirror="Y" unicode1="CLOSING CURLY BRACKET" mathclass="C" alias="closing brace;closing curly bracket"/>
18391832
<afii>007D</afii>

0 commit comments

Comments
 (0)