+++ /dev/null
-
-<!--
- File isoamsb.ent produced by the XSL script mmldtd.xsl
- from input data in unicode.xml.
-
- Please report any errors to
- David Carlisle <davidc@nag.co.uk>.
-
- The numeric character values assigned to each entity
- (should) match either official Unicode assignments
- or assignments provisionally allocated by the
- Unicode Consortium based on the characters in the `STIX'
- propsal for mathematics. Note that these assignments
- have not been ratified by the corresponding ISO
- committee and thus should be considered liable to
- change.
-
- Entity names in this file are derived from files carrying the
- following notice:
-
- (C) International Organization for Standardization 1991
- Permission to copy in any form is granted for use with
- conforming SGML systems and applications as defined in
- ISO 8879, provided this notice is included in all copies.
-
--->
-
-<!ENTITY ac "⤏" ><!--most positive -->
-<!ENTITY acE "⧛" ><!--most positive, two lines below -->
-<!ENTITY amalg "⨿" ><!--/amalg B: amalgamation or coproduct -->
-<!ENTITY barvee "⊽" ><!--bar, vee -->
-<!ENTITY barwed "⊼" ><!--/barwedge B: logical and, bar above -->
-<!ENTITY Barwed "⌆" ><!--/doublebarwedge B: log and, dbl bar above -->
-<!ENTITY bsolb "⧅" ><!--reverse solidus in square -->
-<!ENTITY Cap "⋒" ><!--/Cap /doublecap B: dbl intersection -->
-<!ENTITY capand "⩄" ><!--intersection, and -->
-<!ENTITY capbrcup "⩉" ><!--intersection, bar, union -->
-<!ENTITY capcap "⩋" ><!--intersection, intersection, joined -->
-<!ENTITY capcup "⩇" ><!--intersection above union -->
-<!ENTITY capdot "⩀" ><!--intersection, with dot -->
-<!ENTITY caps "∩⁣" ><!--intersection, serifs -->
-<!ENTITY ccaps "⩍" ><!--closed intersection, serifs -->
-<!ENTITY ccups "⩌" ><!--closed union, serifs -->
-<!ENTITY ccupssm "⩐" ><!--closed union, serifs, smash product -->
-<!ENTITY coprod "∐" ><!--/coprod L: coproduct operator -->
-<!ENTITY Cup "⋓" ><!--/Cup /doublecup B: dbl union -->
-<!ENTITY cupbrcap "⩈" ><!--union, bar, intersection -->
-<!ENTITY cupcap "⩆" ><!--union above intersection -->
-<!ENTITY cupcup "⩊" ><!--union, union, joined -->
-<!ENTITY cupdot "⊍" ><!--union, with dot -->
-<!ENTITY cupor "⩅" ><!--union, or -->
-<!ENTITY cups "∪⁣" ><!--union, serifs -->
-<!ENTITY cuvee "⋎" ><!--/curlyvee B: curly logical or -->
-<!ENTITY cuwed "⋏" ><!--/curlywedge B: curly logical and -->
-<!ENTITY dagger "†" ><!--/dagger B: dagger relation -->
-<!ENTITY Dagger "‡" ><!--/ddagger B: double dagger relation -->
-<!ENTITY diam "⋄" ><!--/diamond B: open diamond -->
-<!ENTITY divonx "⋇" ><!--/divideontimes B: division on times -->
-<!ENTITY eplus "⩱" ><!--equal, plus -->
-<!ENTITY hercon "⊹" ><!--hermitian conjugate matrix -->
-<!ENTITY intcal "⊺" ><!--/intercal B: intercal -->
-<!ENTITY iprod "⨼" ><!--/intprod -->
-<!ENTITY loplus "⨭" ><!--plus sign in left half circle -->
-<!ENTITY lotimes "⨴" ><!--multiply sign in left half circle -->
-<!ENTITY lthree "⋋" ><!--/leftthreetimes B: -->
-<!ENTITY ltimes "⋉" ><!--/ltimes B: times sign, left closed -->
-<!ENTITY midast "*" ><!--/ast B: asterisk -->
-<!ENTITY minusb "⊟" ><!--/boxminus B: minus sign in box -->
-<!ENTITY minusd "∸" ><!--/dotminus B: minus sign, dot above -->
-<!ENTITY minusdu "⨪" ><!--minus sign, dot below -->
-<!ENTITY ncap "⩃" ><!--bar, intersection -->
-<!ENTITY ncup "⩂" ><!--bar, union -->
-<!ENTITY oast "⊛" ><!--/circledast B: asterisk in circle -->
-<!ENTITY ocir "⊚" ><!--/circledcirc B: small circle in circle -->
-<!ENTITY odash "⊝" ><!--/circleddash B: hyphen in circle -->
-<!ENTITY odiv "⨸" ><!--divide in circle -->
-<!ENTITY odot "⊙" ><!--/odot B: middle dot in circle -->
-<!ENTITY odsold "⦼" ><!--dot, solidus, dot in circle -->
-<!ENTITY ofcir "⦿" ><!--filled circle in circle -->
-<!ENTITY ogt "⧁" ><!--greater-than in circle -->
-<!ENTITY ohbar "⦵" ><!--circle with horizontal bar -->
-<!ENTITY olcir "⦾" ><!--large circle in circle -->
-<!ENTITY olt "⧀" ><!--less-than in circle -->
-<!ENTITY omid "⦶" ><!--vertical bar in circle -->
-<!ENTITY ominus "⊖" ><!--/ominus B: minus sign in circle -->
-<!ENTITY opar "⦷" ><!--parallel in circle -->
-<!ENTITY operp "⦹" ><!--perpendicular in circle -->
-<!ENTITY oplus "⊕" ><!--/oplus B: plus sign in circle -->
-<!ENTITY osol "⊘" ><!--/oslash B: solidus in circle -->
-<!ENTITY otimes "⊗" ><!--/otimes B: multiply sign in circle -->
-<!ENTITY Otimes "⨷" ><!--multiply sign in double circle -->
-<!ENTITY otimesas "⨶" ><!--multiply sign in circle, circumflex accent -->
-<!ENTITY ovbar "⌽" ><!--circle with vertical bar -->
-<!ENTITY plusacir "⨣" ><!--plus, circumflex accent above -->
-<!ENTITY plusb "⊞" ><!--/boxplus B: plus sign in box -->
-<!ENTITY pluscir "⨢" ><!--plus, small circle above -->
-<!ENTITY plusdo "∔" ><!--/dotplus B: plus sign, dot above -->
-<!ENTITY plusdu "⨥" ><!--plus sign, dot below -->
-<!ENTITY pluse "⩲" ><!--plus, equals -->
-<!ENTITY plussim "⨦" ><!--plus, similar below -->
-<!ENTITY plustwo "⨧" ><!--plus, two; Nim-addition -->
-<!ENTITY prod "∏" ><!--/prod L: product operator -->
-<!ENTITY race "⧚" ><!--reverse most positive, line below -->
-<!ENTITY roplus "⨮" ><!--plus sign in right half circle -->
-<!ENTITY rotimes "⨵" ><!--multiply sign in right half circle -->
-<!ENTITY rthree "⋌" ><!--/rightthreetimes B: -->
-<!ENTITY rtimes "⋊" ><!--/rtimes B: times sign, right closed -->
-<!ENTITY sdot "⋅" ><!--/cdot B: small middle dot -->
-<!ENTITY sdotb "⊡" ><!--/dotsquare /boxdot B: small dot in box -->
-<!ENTITY setmn "∖" ><!--/setminus B: reverse solidus -->
-<!ENTITY simplus "⨤" ><!--plus, similar above -->
-<!ENTITY smashp "⨳" ><!--smash product -->
-<!ENTITY solb "⧄" ><!--solidus in square -->
-<!ENTITY sqcap "⊓" ><!--/sqcap B: square intersection -->
-<!ENTITY sqcaps "⊓⁣" ><!--square intersection, serifs -->
-<!ENTITY sqcup "⊔" ><!--/sqcup B: square union -->
-<!ENTITY sqcups "⊔⁣" ><!--square union, serifs -->
-<!ENTITY ssetmn "∖" ><!--/smallsetminus B: sm reverse solidus -->
-<!ENTITY sstarf "⋆" ><!--/star B: small star, filled -->
-<!ENTITY subdot "⪽" ><!--subset, with dot -->
-<!ENTITY sum "∑" ><!--/sum L: summation operator -->
-<!ENTITY supdot "⪾" ><!--superset, with dot -->
-<!ENTITY timesb "⊠" ><!--/boxtimes B: multiply sign in box -->
-<!ENTITY timesbar "⨱" ><!--multiply sign, bar below -->
-<!ENTITY timesd "⨰" ><!--times, dot -->
-<!ENTITY tridot "◬" ><!--dot in triangle -->
-<!ENTITY triminus "⨺" ><!--minus in triangle -->
-<!ENTITY triplus "⨹" ><!--plus in triangle -->
-<!ENTITY trisb "⧍" ><!--triangle, serifs at bottom -->
-<!ENTITY tritime "⨻" ><!--multiply in triangle -->
-<!ENTITY uplus "⊎" ><!--/uplus B: plus sign in union -->
-<!ENTITY veebar "⊻" ><!--/veebar B: logical or, bar below -->
-<!ENTITY wedbar "⩟" ><!--wedge, bar below -->
-<!ENTITY wreath "≀" ><!--/wr B: wreath product -->
-<!ENTITY xcap "⋂" ><!--/bigcap L: intersection operator -->
-<!ENTITY xcirc "◯" ><!--/bigcirc B: large circle -->
-<!ENTITY xcup "⋃" ><!--/bigcup L: union operator -->
-<!ENTITY xdtri "▽" ><!--/bigtriangledown B: big dn tri, open -->
-<!ENTITY xodot "⊙" ><!--/bigodot L: circle dot operator -->
-<!ENTITY xoplus "⊕" ><!--/bigoplus L: circle plus operator -->
-<!ENTITY xotime "⊗" ><!--/bigotimes L: circle times operator -->
-<!ENTITY xsqcup "⊔" ><!--/bigsqcup L: square union operator -->
-<!ENTITY xuplus "⊎" ><!--/biguplus L: -->
-<!ENTITY xutri "△" ><!--/bigtriangleup B: big up tri, open -->
-<!ENTITY xvee "⋁" ><!--/bigvee L: logical and operator -->
-<!ENTITY xwedge "⋀" ><!--/bigwedge L: logical or operator -->