isoamsb.txt 7.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126
  1. .. This data file has been placed in the public domain.
  2. .. Derived from the Unicode character mappings available from
  3. <http://www.w3.org/2003/entities/xml/>.
  4. Processed by unicode2rstsubs.py, part of Docutils:
  5. <https://docutils.sourceforge.io>.
  6. .. |ac| unicode:: U+0223E .. INVERTED LAZY S
  7. .. |acE| unicode:: U+0223E U+00333 .. INVERTED LAZY S with double underline
  8. .. |amalg| unicode:: U+02A3F .. AMALGAMATION OR COPRODUCT
  9. .. |barvee| unicode:: U+022BD .. NOR
  10. .. |Barwed| unicode:: U+02306 .. PERSPECTIVE
  11. .. |barwed| unicode:: U+02305 .. PROJECTIVE
  12. .. |bsolb| unicode:: U+029C5 .. SQUARED FALLING DIAGONAL SLASH
  13. .. |Cap| unicode:: U+022D2 .. DOUBLE INTERSECTION
  14. .. |capand| unicode:: U+02A44 .. INTERSECTION WITH LOGICAL AND
  15. .. |capbrcup| unicode:: U+02A49 .. INTERSECTION ABOVE BAR ABOVE UNION
  16. .. |capcap| unicode:: U+02A4B .. INTERSECTION BESIDE AND JOINED WITH INTERSECTION
  17. .. |capcup| unicode:: U+02A47 .. INTERSECTION ABOVE UNION
  18. .. |capdot| unicode:: U+02A40 .. INTERSECTION WITH DOT
  19. .. |caps| unicode:: U+02229 U+0FE00 .. INTERSECTION with serifs
  20. .. |ccaps| unicode:: U+02A4D .. CLOSED INTERSECTION WITH SERIFS
  21. .. |ccups| unicode:: U+02A4C .. CLOSED UNION WITH SERIFS
  22. .. |ccupssm| unicode:: U+02A50 .. CLOSED UNION WITH SERIFS AND SMASH PRODUCT
  23. .. |coprod| unicode:: U+02210 .. N-ARY COPRODUCT
  24. .. |Cup| unicode:: U+022D3 .. DOUBLE UNION
  25. .. |cupbrcap| unicode:: U+02A48 .. UNION ABOVE BAR ABOVE INTERSECTION
  26. .. |cupcap| unicode:: U+02A46 .. UNION ABOVE INTERSECTION
  27. .. |cupcup| unicode:: U+02A4A .. UNION BESIDE AND JOINED WITH UNION
  28. .. |cupdot| unicode:: U+0228D .. MULTISET MULTIPLICATION
  29. .. |cupor| unicode:: U+02A45 .. UNION WITH LOGICAL OR
  30. .. |cups| unicode:: U+0222A U+0FE00 .. UNION with serifs
  31. .. |cuvee| unicode:: U+022CE .. CURLY LOGICAL OR
  32. .. |cuwed| unicode:: U+022CF .. CURLY LOGICAL AND
  33. .. |Dagger| unicode:: U+02021 .. DOUBLE DAGGER
  34. .. |dagger| unicode:: U+02020 .. DAGGER
  35. .. |diam| unicode:: U+022C4 .. DIAMOND OPERATOR
  36. .. |divonx| unicode:: U+022C7 .. DIVISION TIMES
  37. .. |eplus| unicode:: U+02A71 .. EQUALS SIGN ABOVE PLUS SIGN
  38. .. |hercon| unicode:: U+022B9 .. HERMITIAN CONJUGATE MATRIX
  39. .. |intcal| unicode:: U+022BA .. INTERCALATE
  40. .. |iprod| unicode:: U+02A3C .. INTERIOR PRODUCT
  41. .. |loplus| unicode:: U+02A2D .. PLUS SIGN IN LEFT HALF CIRCLE
  42. .. |lotimes| unicode:: U+02A34 .. MULTIPLICATION SIGN IN LEFT HALF CIRCLE
  43. .. |lthree| unicode:: U+022CB .. LEFT SEMIDIRECT PRODUCT
  44. .. |ltimes| unicode:: U+022C9 .. LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
  45. .. |midast| unicode:: U+0002A .. ASTERISK
  46. .. |minusb| unicode:: U+0229F .. SQUARED MINUS
  47. .. |minusd| unicode:: U+02238 .. DOT MINUS
  48. .. |minusdu| unicode:: U+02A2A .. MINUS SIGN WITH DOT BELOW
  49. .. |ncap| unicode:: U+02A43 .. INTERSECTION WITH OVERBAR
  50. .. |ncup| unicode:: U+02A42 .. UNION WITH OVERBAR
  51. .. |oast| unicode:: U+0229B .. CIRCLED ASTERISK OPERATOR
  52. .. |ocir| unicode:: U+0229A .. CIRCLED RING OPERATOR
  53. .. |odash| unicode:: U+0229D .. CIRCLED DASH
  54. .. |odiv| unicode:: U+02A38 .. CIRCLED DIVISION SIGN
  55. .. |odot| unicode:: U+02299 .. CIRCLED DOT OPERATOR
  56. .. |odsold| unicode:: U+029BC .. CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN
  57. .. |ofcir| unicode:: U+029BF .. CIRCLED BULLET
  58. .. |ogt| unicode:: U+029C1 .. CIRCLED GREATER-THAN
  59. .. |ohbar| unicode:: U+029B5 .. CIRCLE WITH HORIZONTAL BAR
  60. .. |olcir| unicode:: U+029BE .. CIRCLED WHITE BULLET
  61. .. |olt| unicode:: U+029C0 .. CIRCLED LESS-THAN
  62. .. |omid| unicode:: U+029B6 .. CIRCLED VERTICAL BAR
  63. .. |ominus| unicode:: U+02296 .. CIRCLED MINUS
  64. .. |opar| unicode:: U+029B7 .. CIRCLED PARALLEL
  65. .. |operp| unicode:: U+029B9 .. CIRCLED PERPENDICULAR
  66. .. |oplus| unicode:: U+02295 .. CIRCLED PLUS
  67. .. |osol| unicode:: U+02298 .. CIRCLED DIVISION SLASH
  68. .. |Otimes| unicode:: U+02A37 .. MULTIPLICATION SIGN IN DOUBLE CIRCLE
  69. .. |otimes| unicode:: U+02297 .. CIRCLED TIMES
  70. .. |otimesas| unicode:: U+02A36 .. CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
  71. .. |ovbar| unicode:: U+0233D .. APL FUNCTIONAL SYMBOL CIRCLE STILE
  72. .. |plusacir| unicode:: U+02A23 .. PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
  73. .. |plusb| unicode:: U+0229E .. SQUARED PLUS
  74. .. |pluscir| unicode:: U+02A22 .. PLUS SIGN WITH SMALL CIRCLE ABOVE
  75. .. |plusdo| unicode:: U+02214 .. DOT PLUS
  76. .. |plusdu| unicode:: U+02A25 .. PLUS SIGN WITH DOT BELOW
  77. .. |pluse| unicode:: U+02A72 .. PLUS SIGN ABOVE EQUALS SIGN
  78. .. |plussim| unicode:: U+02A26 .. PLUS SIGN WITH TILDE BELOW
  79. .. |plustwo| unicode:: U+02A27 .. PLUS SIGN WITH SUBSCRIPT TWO
  80. .. |prod| unicode:: U+0220F .. N-ARY PRODUCT
  81. .. |race| unicode:: U+029DA .. LEFT DOUBLE WIGGLY FENCE
  82. .. |roplus| unicode:: U+02A2E .. PLUS SIGN IN RIGHT HALF CIRCLE
  83. .. |rotimes| unicode:: U+02A35 .. MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
  84. .. |rthree| unicode:: U+022CC .. RIGHT SEMIDIRECT PRODUCT
  85. .. |rtimes| unicode:: U+022CA .. RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
  86. .. |sdot| unicode:: U+022C5 .. DOT OPERATOR
  87. .. |sdotb| unicode:: U+022A1 .. SQUARED DOT OPERATOR
  88. .. |setmn| unicode:: U+02216 .. SET MINUS
  89. .. |simplus| unicode:: U+02A24 .. PLUS SIGN WITH TILDE ABOVE
  90. .. |smashp| unicode:: U+02A33 .. SMASH PRODUCT
  91. .. |solb| unicode:: U+029C4 .. SQUARED RISING DIAGONAL SLASH
  92. .. |sqcap| unicode:: U+02293 .. SQUARE CAP
  93. .. |sqcaps| unicode:: U+02293 U+0FE00 .. SQUARE CAP with serifs
  94. .. |sqcup| unicode:: U+02294 .. SQUARE CUP
  95. .. |sqcups| unicode:: U+02294 U+0FE00 .. SQUARE CUP with serifs
  96. .. |ssetmn| unicode:: U+02216 .. SET MINUS
  97. .. |sstarf| unicode:: U+022C6 .. STAR OPERATOR
  98. .. |subdot| unicode:: U+02ABD .. SUBSET WITH DOT
  99. .. |sum| unicode:: U+02211 .. N-ARY SUMMATION
  100. .. |supdot| unicode:: U+02ABE .. SUPERSET WITH DOT
  101. .. |timesb| unicode:: U+022A0 .. SQUARED TIMES
  102. .. |timesbar| unicode:: U+02A31 .. MULTIPLICATION SIGN WITH UNDERBAR
  103. .. |timesd| unicode:: U+02A30 .. MULTIPLICATION SIGN WITH DOT ABOVE
  104. .. |top| unicode:: U+022A4 .. DOWN TACK
  105. .. |tridot| unicode:: U+025EC .. WHITE UP-POINTING TRIANGLE WITH DOT
  106. .. |triminus| unicode:: U+02A3A .. MINUS SIGN IN TRIANGLE
  107. .. |triplus| unicode:: U+02A39 .. PLUS SIGN IN TRIANGLE
  108. .. |trisb| unicode:: U+029CD .. TRIANGLE WITH SERIFS AT BOTTOM
  109. .. |tritime| unicode:: U+02A3B .. MULTIPLICATION SIGN IN TRIANGLE
  110. .. |uplus| unicode:: U+0228E .. MULTISET UNION
  111. .. |veebar| unicode:: U+022BB .. XOR
  112. .. |wedbar| unicode:: U+02A5F .. LOGICAL AND WITH UNDERBAR
  113. .. |wreath| unicode:: U+02240 .. WREATH PRODUCT
  114. .. |xcap| unicode:: U+022C2 .. N-ARY INTERSECTION
  115. .. |xcirc| unicode:: U+025EF .. LARGE CIRCLE
  116. .. |xcup| unicode:: U+022C3 .. N-ARY UNION
  117. .. |xdtri| unicode:: U+025BD .. WHITE DOWN-POINTING TRIANGLE
  118. .. |xodot| unicode:: U+02A00 .. N-ARY CIRCLED DOT OPERATOR
  119. .. |xoplus| unicode:: U+02A01 .. N-ARY CIRCLED PLUS OPERATOR
  120. .. |xotime| unicode:: U+02A02 .. N-ARY CIRCLED TIMES OPERATOR
  121. .. |xsqcup| unicode:: U+02A06 .. N-ARY SQUARE UNION OPERATOR
  122. .. |xuplus| unicode:: U+02A04 .. N-ARY UNION OPERATOR WITH PLUS
  123. .. |xutri| unicode:: U+025B3 .. WHITE UP-POINTING TRIANGLE
  124. .. |xvee| unicode:: U+022C1 .. N-ARY LOGICAL OR
  125. .. |xwedge| unicode:: U+022C0 .. N-ARY LOGICAL AND