--- /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 -->