isoamsr.txt 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191
  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. .. |apE| unicode:: U+02A70 .. APPROXIMATELY EQUAL OR EQUAL TO
  7. .. |ape| unicode:: U+0224A .. ALMOST EQUAL OR EQUAL TO
  8. .. |apid| unicode:: U+0224B .. TRIPLE TILDE
  9. .. |asymp| unicode:: U+02248 .. ALMOST EQUAL TO
  10. .. |Barv| unicode:: U+02AE7 .. SHORT DOWN TACK WITH OVERBAR
  11. .. |bcong| unicode:: U+0224C .. ALL EQUAL TO
  12. .. |bepsi| unicode:: U+003F6 .. GREEK REVERSED LUNATE EPSILON SYMBOL
  13. .. |bowtie| unicode:: U+022C8 .. BOWTIE
  14. .. |bsim| unicode:: U+0223D .. REVERSED TILDE
  15. .. |bsime| unicode:: U+022CD .. REVERSED TILDE EQUALS
  16. .. |bsolhsub| unicode:: U+0005C U+02282 .. REVERSE SOLIDUS, SUBSET OF
  17. .. |bump| unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
  18. .. |bumpE| unicode:: U+02AAE .. EQUALS SIGN WITH BUMPY ABOVE
  19. .. |bumpe| unicode:: U+0224F .. DIFFERENCE BETWEEN
  20. .. |cire| unicode:: U+02257 .. RING EQUAL TO
  21. .. |Colon| unicode:: U+02237 .. PROPORTION
  22. .. |Colone| unicode:: U+02A74 .. DOUBLE COLON EQUAL
  23. .. |colone| unicode:: U+02254 .. COLON EQUALS
  24. .. |congdot| unicode:: U+02A6D .. CONGRUENT WITH DOT ABOVE
  25. .. |csub| unicode:: U+02ACF .. CLOSED SUBSET
  26. .. |csube| unicode:: U+02AD1 .. CLOSED SUBSET OR EQUAL TO
  27. .. |csup| unicode:: U+02AD0 .. CLOSED SUPERSET
  28. .. |csupe| unicode:: U+02AD2 .. CLOSED SUPERSET OR EQUAL TO
  29. .. |cuepr| unicode:: U+022DE .. EQUAL TO OR PRECEDES
  30. .. |cuesc| unicode:: U+022DF .. EQUAL TO OR SUCCEEDS
  31. .. |cupre| unicode:: U+0227C .. PRECEDES OR EQUAL TO
  32. .. |Dashv| unicode:: U+02AE4 .. VERTICAL BAR DOUBLE LEFT TURNSTILE
  33. .. |dashv| unicode:: U+022A3 .. LEFT TACK
  34. .. |easter| unicode:: U+02A6E .. EQUALS WITH ASTERISK
  35. .. |ecir| unicode:: U+02256 .. RING IN EQUAL TO
  36. .. |ecolon| unicode:: U+02255 .. EQUALS COLON
  37. .. |eDDot| unicode:: U+02A77 .. EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
  38. .. |eDot| unicode:: U+02251 .. GEOMETRICALLY EQUAL TO
  39. .. |efDot| unicode:: U+02252 .. APPROXIMATELY EQUAL TO OR THE IMAGE OF
  40. .. |eg| unicode:: U+02A9A .. DOUBLE-LINE EQUAL TO OR GREATER-THAN
  41. .. |egs| unicode:: U+02A96 .. SLANTED EQUAL TO OR GREATER-THAN
  42. .. |egsdot| unicode:: U+02A98 .. SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
  43. .. |el| unicode:: U+02A99 .. DOUBLE-LINE EQUAL TO OR LESS-THAN
  44. .. |els| unicode:: U+02A95 .. SLANTED EQUAL TO OR LESS-THAN
  45. .. |elsdot| unicode:: U+02A97 .. SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
  46. .. |equest| unicode:: U+0225F .. QUESTIONED EQUAL TO
  47. .. |equivDD| unicode:: U+02A78 .. EQUIVALENT WITH FOUR DOTS ABOVE
  48. .. |erDot| unicode:: U+02253 .. IMAGE OF OR APPROXIMATELY EQUAL TO
  49. .. |esdot| unicode:: U+02250 .. APPROACHES THE LIMIT
  50. .. |Esim| unicode:: U+02A73 .. EQUALS SIGN ABOVE TILDE OPERATOR
  51. .. |esim| unicode:: U+02242 .. MINUS TILDE
  52. .. |fork| unicode:: U+022D4 .. PITCHFORK
  53. .. |forkv| unicode:: U+02AD9 .. ELEMENT OF OPENING DOWNWARDS
  54. .. |frown| unicode:: U+02322 .. FROWN
  55. .. |gap| unicode:: U+02A86 .. GREATER-THAN OR APPROXIMATE
  56. .. |gE| unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
  57. .. |gEl| unicode:: U+02A8C .. GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
  58. .. |gel| unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
  59. .. |ges| unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
  60. .. |gescc| unicode:: U+02AA9 .. GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
  61. .. |gesdot| unicode:: U+02A80 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
  62. .. |gesdoto| unicode:: U+02A82 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
  63. .. |gesdotol| unicode:: U+02A84 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
  64. .. |gesl| unicode:: U+022DB U+0FE00 .. GREATER-THAN slanted EQUAL TO OR LESS-THAN
  65. .. |gesles| unicode:: U+02A94 .. GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
  66. .. |Gg| unicode:: U+022D9 .. VERY MUCH GREATER-THAN
  67. .. |gl| unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
  68. .. |gla| unicode:: U+02AA5 .. GREATER-THAN BESIDE LESS-THAN
  69. .. |glE| unicode:: U+02A92 .. GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
  70. .. |glj| unicode:: U+02AA4 .. GREATER-THAN OVERLAPPING LESS-THAN
  71. .. |gsdot| unicode:: U+022D7 .. GREATER-THAN WITH DOT
  72. .. |gsim| unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
  73. .. |gsime| unicode:: U+02A8E .. GREATER-THAN ABOVE SIMILAR OR EQUAL
  74. .. |gsiml| unicode:: U+02A90 .. GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
  75. .. |Gt| unicode:: U+0226B .. MUCH GREATER-THAN
  76. .. |gtcc| unicode:: U+02AA7 .. GREATER-THAN CLOSED BY CURVE
  77. .. |gtcir| unicode:: U+02A7A .. GREATER-THAN WITH CIRCLE INSIDE
  78. .. |gtdot| unicode:: U+022D7 .. GREATER-THAN WITH DOT
  79. .. |gtquest| unicode:: U+02A7C .. GREATER-THAN WITH QUESTION MARK ABOVE
  80. .. |gtrarr| unicode:: U+02978 .. GREATER-THAN ABOVE RIGHTWARDS ARROW
  81. .. |homtht| unicode:: U+0223B .. HOMOTHETIC
  82. .. |lap| unicode:: U+02A85 .. LESS-THAN OR APPROXIMATE
  83. .. |lat| unicode:: U+02AAB .. LARGER THAN
  84. .. |late| unicode:: U+02AAD .. LARGER THAN OR EQUAL TO
  85. .. |lates| unicode:: U+02AAD U+0FE00 .. LARGER THAN OR slanted EQUAL
  86. .. |ldot| unicode:: U+022D6 .. LESS-THAN WITH DOT
  87. .. |lE| unicode:: U+02266 .. LESS-THAN OVER EQUAL TO
  88. .. |lEg| unicode:: U+02A8B .. LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
  89. .. |leg| unicode:: U+022DA .. LESS-THAN EQUAL TO OR GREATER-THAN
  90. .. |les| unicode:: U+02A7D .. LESS-THAN OR SLANTED EQUAL TO
  91. .. |lescc| unicode:: U+02AA8 .. LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
  92. .. |lesdot| unicode:: U+02A7F .. LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
  93. .. |lesdoto| unicode:: U+02A81 .. LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
  94. .. |lesdotor| unicode:: U+02A83 .. LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
  95. .. |lesg| unicode:: U+022DA U+0FE00 .. LESS-THAN slanted EQUAL TO OR GREATER-THAN
  96. .. |lesges| unicode:: U+02A93 .. LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
  97. .. |lg| unicode:: U+02276 .. LESS-THAN OR GREATER-THAN
  98. .. |lgE| unicode:: U+02A91 .. LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
  99. .. |Ll| unicode:: U+022D8 .. VERY MUCH LESS-THAN
  100. .. |lsim| unicode:: U+02272 .. LESS-THAN OR EQUIVALENT TO
  101. .. |lsime| unicode:: U+02A8D .. LESS-THAN ABOVE SIMILAR OR EQUAL
  102. .. |lsimg| unicode:: U+02A8F .. LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
  103. .. |Lt| unicode:: U+0226A .. MUCH LESS-THAN
  104. .. |ltcc| unicode:: U+02AA6 .. LESS-THAN CLOSED BY CURVE
  105. .. |ltcir| unicode:: U+02A79 .. LESS-THAN WITH CIRCLE INSIDE
  106. .. |ltdot| unicode:: U+022D6 .. LESS-THAN WITH DOT
  107. .. |ltlarr| unicode:: U+02976 .. LESS-THAN ABOVE LEFTWARDS ARROW
  108. .. |ltquest| unicode:: U+02A7B .. LESS-THAN WITH QUESTION MARK ABOVE
  109. .. |ltrie| unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
  110. .. |mcomma| unicode:: U+02A29 .. MINUS SIGN WITH COMMA ABOVE
  111. .. |mDDot| unicode:: U+0223A .. GEOMETRIC PROPORTION
  112. .. |mid| unicode:: U+02223 .. DIVIDES
  113. .. |mlcp| unicode:: U+02ADB .. TRANSVERSAL INTERSECTION
  114. .. |models| unicode:: U+022A7 .. MODELS
  115. .. |mstpos| unicode:: U+0223E .. INVERTED LAZY S
  116. .. |Pr| unicode:: U+02ABB .. DOUBLE PRECEDES
  117. .. |pr| unicode:: U+0227A .. PRECEDES
  118. .. |prap| unicode:: U+02AB7 .. PRECEDES ABOVE ALMOST EQUAL TO
  119. .. |prcue| unicode:: U+0227C .. PRECEDES OR EQUAL TO
  120. .. |prE| unicode:: U+02AB3 .. PRECEDES ABOVE EQUALS SIGN
  121. .. |pre| unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
  122. .. |prsim| unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
  123. .. |prurel| unicode:: U+022B0 .. PRECEDES UNDER RELATION
  124. .. |ratio| unicode:: U+02236 .. RATIO
  125. .. |rtrie| unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
  126. .. |rtriltri| unicode:: U+029CE .. RIGHT TRIANGLE ABOVE LEFT TRIANGLE
  127. .. |samalg| unicode:: U+02210 .. N-ARY COPRODUCT
  128. .. |Sc| unicode:: U+02ABC .. DOUBLE SUCCEEDS
  129. .. |sc| unicode:: U+0227B .. SUCCEEDS
  130. .. |scap| unicode:: U+02AB8 .. SUCCEEDS ABOVE ALMOST EQUAL TO
  131. .. |sccue| unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
  132. .. |scE| unicode:: U+02AB4 .. SUCCEEDS ABOVE EQUALS SIGN
  133. .. |sce| unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
  134. .. |scsim| unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
  135. .. |sdote| unicode:: U+02A66 .. EQUALS SIGN WITH DOT BELOW
  136. .. |sfrown| unicode:: U+02322 .. FROWN
  137. .. |simg| unicode:: U+02A9E .. SIMILAR OR GREATER-THAN
  138. .. |simgE| unicode:: U+02AA0 .. SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
  139. .. |siml| unicode:: U+02A9D .. SIMILAR OR LESS-THAN
  140. .. |simlE| unicode:: U+02A9F .. SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
  141. .. |smid| unicode:: U+02223 .. DIVIDES
  142. .. |smile| unicode:: U+02323 .. SMILE
  143. .. |smt| unicode:: U+02AAA .. SMALLER THAN
  144. .. |smte| unicode:: U+02AAC .. SMALLER THAN OR EQUAL TO
  145. .. |smtes| unicode:: U+02AAC U+0FE00 .. SMALLER THAN OR slanted EQUAL
  146. .. |spar| unicode:: U+02225 .. PARALLEL TO
  147. .. |sqsub| unicode:: U+0228F .. SQUARE IMAGE OF
  148. .. |sqsube| unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
  149. .. |sqsup| unicode:: U+02290 .. SQUARE ORIGINAL OF
  150. .. |sqsupe| unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
  151. .. |ssmile| unicode:: U+02323 .. SMILE
  152. .. |Sub| unicode:: U+022D0 .. DOUBLE SUBSET
  153. .. |subE| unicode:: U+02AC5 .. SUBSET OF ABOVE EQUALS SIGN
  154. .. |subedot| unicode:: U+02AC3 .. SUBSET OF OR EQUAL TO WITH DOT ABOVE
  155. .. |submult| unicode:: U+02AC1 .. SUBSET WITH MULTIPLICATION SIGN BELOW
  156. .. |subplus| unicode:: U+02ABF .. SUBSET WITH PLUS SIGN BELOW
  157. .. |subrarr| unicode:: U+02979 .. SUBSET ABOVE RIGHTWARDS ARROW
  158. .. |subsim| unicode:: U+02AC7 .. SUBSET OF ABOVE TILDE OPERATOR
  159. .. |subsub| unicode:: U+02AD5 .. SUBSET ABOVE SUBSET
  160. .. |subsup| unicode:: U+02AD3 .. SUBSET ABOVE SUPERSET
  161. .. |Sup| unicode:: U+022D1 .. DOUBLE SUPERSET
  162. .. |supdsub| unicode:: U+02AD8 .. SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
  163. .. |supE| unicode:: U+02AC6 .. SUPERSET OF ABOVE EQUALS SIGN
  164. .. |supedot| unicode:: U+02AC4 .. SUPERSET OF OR EQUAL TO WITH DOT ABOVE
  165. .. |suphsol| unicode:: U+02283 U+0002F .. SUPERSET OF, SOLIDUS
  166. .. |suphsub| unicode:: U+02AD7 .. SUPERSET BESIDE SUBSET
  167. .. |suplarr| unicode:: U+0297B .. SUPERSET ABOVE LEFTWARDS ARROW
  168. .. |supmult| unicode:: U+02AC2 .. SUPERSET WITH MULTIPLICATION SIGN BELOW
  169. .. |supplus| unicode:: U+02AC0 .. SUPERSET WITH PLUS SIGN BELOW
  170. .. |supsim| unicode:: U+02AC8 .. SUPERSET OF ABOVE TILDE OPERATOR
  171. .. |supsub| unicode:: U+02AD4 .. SUPERSET ABOVE SUBSET
  172. .. |supsup| unicode:: U+02AD6 .. SUPERSET ABOVE SUPERSET
  173. .. |thkap| unicode:: U+02248 .. ALMOST EQUAL TO
  174. .. |thksim| unicode:: U+0223C .. TILDE OPERATOR
  175. .. |topfork| unicode:: U+02ADA .. PITCHFORK WITH TEE TOP
  176. .. |trie| unicode:: U+0225C .. DELTA EQUAL TO
  177. .. |twixt| unicode:: U+0226C .. BETWEEN
  178. .. |Vbar| unicode:: U+02AEB .. DOUBLE UP TACK
  179. .. |vBar| unicode:: U+02AE8 .. SHORT UP TACK WITH UNDERBAR
  180. .. |vBarv| unicode:: U+02AE9 .. SHORT UP TACK ABOVE SHORT DOWN TACK
  181. .. |VDash| unicode:: U+022AB .. DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
  182. .. |Vdash| unicode:: U+022A9 .. FORCES
  183. .. |vDash| unicode:: U+022A8 .. TRUE
  184. .. |vdash| unicode:: U+022A2 .. RIGHT TACK
  185. .. |Vdashl| unicode:: U+02AE6 .. LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
  186. .. |veebar| unicode:: U+022BB .. XOR
  187. .. |vltri| unicode:: U+022B2 .. NORMAL SUBGROUP OF
  188. .. |vprop| unicode:: U+0221D .. PROPORTIONAL TO
  189. .. |vrtri| unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
  190. .. |Vvdash| unicode:: U+022AA .. TRIPLE VERTICAL BAR RIGHT TURNSTILE