mmlextra.txt 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687
  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. .. |af| unicode:: U+02061 .. FUNCTION APPLICATION
  7. .. |asympeq| unicode:: U+0224D .. EQUIVALENT TO
  8. .. |Cross| unicode:: U+02A2F .. VECTOR OR CROSS PRODUCT
  9. .. |DD| unicode:: U+02145 .. DOUBLE-STRUCK ITALIC CAPITAL D
  10. .. |dd| unicode:: U+02146 .. DOUBLE-STRUCK ITALIC SMALL D
  11. .. |DownArrowBar| unicode:: U+02913 .. DOWNWARDS ARROW TO BAR
  12. .. |DownBreve| unicode:: U+00311 .. COMBINING INVERTED BREVE
  13. .. |DownLeftRightVector| unicode:: U+02950 .. LEFT BARB DOWN RIGHT BARB DOWN HARPOON
  14. .. |DownLeftTeeVector| unicode:: U+0295E .. LEFTWARDS HARPOON WITH BARB DOWN FROM BAR
  15. .. |DownLeftVectorBar| unicode:: U+02956 .. LEFTWARDS HARPOON WITH BARB DOWN TO BAR
  16. .. |DownRightTeeVector| unicode:: U+0295F .. RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR
  17. .. |DownRightVectorBar| unicode:: U+02957 .. RIGHTWARDS HARPOON WITH BARB DOWN TO BAR
  18. .. |ee| unicode:: U+02147 .. DOUBLE-STRUCK ITALIC SMALL E
  19. .. |EmptySmallSquare| unicode:: U+025FB .. WHITE MEDIUM SQUARE
  20. .. |EmptyVerySmallSquare| unicode:: U+025AB .. WHITE SMALL SQUARE
  21. .. |Equal| unicode:: U+02A75 .. TWO CONSECUTIVE EQUALS SIGNS
  22. .. |FilledSmallSquare| unicode:: U+025FC .. BLACK MEDIUM SQUARE
  23. .. |FilledVerySmallSquare| unicode:: U+025AA .. BLACK SMALL SQUARE
  24. .. |GreaterGreater| unicode:: U+02AA2 .. DOUBLE NESTED GREATER-THAN
  25. .. |Hat| unicode:: U+0005E .. CIRCUMFLEX ACCENT
  26. .. |HorizontalLine| unicode:: U+02500 .. BOX DRAWINGS LIGHT HORIZONTAL
  27. .. |ic| unicode:: U+02063 .. INVISIBLE SEPARATOR
  28. .. |ii| unicode:: U+02148 .. DOUBLE-STRUCK ITALIC SMALL I
  29. .. |it| unicode:: U+02062 .. INVISIBLE TIMES
  30. .. |larrb| unicode:: U+021E4 .. LEFTWARDS ARROW TO BAR
  31. .. |LeftDownTeeVector| unicode:: U+02961 .. DOWNWARDS HARPOON WITH BARB LEFT FROM BAR
  32. .. |LeftDownVectorBar| unicode:: U+02959 .. DOWNWARDS HARPOON WITH BARB LEFT TO BAR
  33. .. |LeftRightVector| unicode:: U+0294E .. LEFT BARB UP RIGHT BARB UP HARPOON
  34. .. |LeftTeeVector| unicode:: U+0295A .. LEFTWARDS HARPOON WITH BARB UP FROM BAR
  35. .. |LeftTriangleBar| unicode:: U+029CF .. LEFT TRIANGLE BESIDE VERTICAL BAR
  36. .. |LeftUpDownVector| unicode:: U+02951 .. UP BARB LEFT DOWN BARB LEFT HARPOON
  37. .. |LeftUpTeeVector| unicode:: U+02960 .. UPWARDS HARPOON WITH BARB LEFT FROM BAR
  38. .. |LeftUpVectorBar| unicode:: U+02958 .. UPWARDS HARPOON WITH BARB LEFT TO BAR
  39. .. |LeftVectorBar| unicode:: U+02952 .. LEFTWARDS HARPOON WITH BARB UP TO BAR
  40. .. |LessLess| unicode:: U+02AA1 .. DOUBLE NESTED LESS-THAN
  41. .. |mapstodown| unicode:: U+021A7 .. DOWNWARDS ARROW FROM BAR
  42. .. |mapstoleft| unicode:: U+021A4 .. LEFTWARDS ARROW FROM BAR
  43. .. |mapstoup| unicode:: U+021A5 .. UPWARDS ARROW FROM BAR
  44. .. |MediumSpace| unicode:: U+0205F .. MEDIUM MATHEMATICAL SPACE
  45. .. |nbump| unicode:: U+0224E U+00338 .. GEOMETRICALLY EQUIVALENT TO with slash
  46. .. |nbumpe| unicode:: U+0224F U+00338 .. DIFFERENCE BETWEEN with slash
  47. .. |nesim| unicode:: U+02242 U+00338 .. MINUS TILDE with slash
  48. .. |NewLine| unicode:: U+0000A .. LINE FEED (LF)
  49. .. |NoBreak| unicode:: U+02060 .. WORD JOINER
  50. .. |NotCupCap| unicode:: U+0226D .. NOT EQUIVALENT TO
  51. .. |NotHumpEqual| unicode:: U+0224F U+00338 .. DIFFERENCE BETWEEN with slash
  52. .. |NotLeftTriangleBar| unicode:: U+029CF U+00338 .. LEFT TRIANGLE BESIDE VERTICAL BAR with slash
  53. .. |NotNestedGreaterGreater| unicode:: U+02AA2 U+00338 .. DOUBLE NESTED GREATER-THAN with slash
  54. .. |NotNestedLessLess| unicode:: U+02AA1 U+00338 .. DOUBLE NESTED LESS-THAN with slash
  55. .. |NotRightTriangleBar| unicode:: U+029D0 U+00338 .. VERTICAL BAR BESIDE RIGHT TRIANGLE with slash
  56. .. |NotSquareSubset| unicode:: U+0228F U+00338 .. SQUARE IMAGE OF with slash
  57. .. |NotSquareSuperset| unicode:: U+02290 U+00338 .. SQUARE ORIGINAL OF with slash
  58. .. |NotSucceedsTilde| unicode:: U+0227F U+00338 .. SUCCEEDS OR EQUIVALENT TO with slash
  59. .. |OverBar| unicode:: U+000AF .. MACRON
  60. .. |OverBrace| unicode:: U+0FE37 .. PRESENTATION FORM FOR VERTICAL LEFT CURLY BRACKET
  61. .. |OverBracket| unicode:: U+023B4 .. TOP SQUARE BRACKET
  62. .. |OverParenthesis| unicode:: U+0FE35 .. PRESENTATION FORM FOR VERTICAL LEFT PARENTHESIS
  63. .. |planckh| unicode:: U+0210E .. PLANCK CONSTANT
  64. .. |Product| unicode:: U+0220F .. N-ARY PRODUCT
  65. .. |rarrb| unicode:: U+021E5 .. RIGHTWARDS ARROW TO BAR
  66. .. |RightDownTeeVector| unicode:: U+0295D .. DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR
  67. .. |RightDownVectorBar| unicode:: U+02955 .. DOWNWARDS HARPOON WITH BARB RIGHT TO BAR
  68. .. |RightTeeVector| unicode:: U+0295B .. RIGHTWARDS HARPOON WITH BARB UP FROM BAR
  69. .. |RightTriangleBar| unicode:: U+029D0 .. VERTICAL BAR BESIDE RIGHT TRIANGLE
  70. .. |RightUpDownVector| unicode:: U+0294F .. UP BARB RIGHT DOWN BARB RIGHT HARPOON
  71. .. |RightUpTeeVector| unicode:: U+0295C .. UPWARDS HARPOON WITH BARB RIGHT FROM BAR
  72. .. |RightUpVectorBar| unicode:: U+02954 .. UPWARDS HARPOON WITH BARB RIGHT TO BAR
  73. .. |RightVectorBar| unicode:: U+02953 .. RIGHTWARDS HARPOON WITH BARB UP TO BAR
  74. .. |RoundImplies| unicode:: U+02970 .. RIGHT DOUBLE ARROW WITH ROUNDED HEAD
  75. .. |RuleDelayed| unicode:: U+029F4 .. RULE-DELAYED
  76. .. |Tab| unicode:: U+00009 .. CHARACTER TABULATION
  77. .. |ThickSpace| unicode:: U+02009 U+0200A U+0200A .. space of width 5/18 em
  78. .. |UnderBar| unicode:: U+00332 .. COMBINING LOW LINE
  79. .. |UnderBrace| unicode:: U+0FE38 .. PRESENTATION FORM FOR VERTICAL RIGHT CURLY BRACKET
  80. .. |UnderBracket| unicode:: U+023B5 .. BOTTOM SQUARE BRACKET
  81. .. |UnderParenthesis| unicode:: U+0FE36 .. PRESENTATION FORM FOR VERTICAL RIGHT PARENTHESIS
  82. .. |UpArrowBar| unicode:: U+02912 .. UPWARDS ARROW TO BAR
  83. .. |Upsilon| unicode:: U+003A5 .. GREEK CAPITAL LETTER UPSILON
  84. .. |VerticalLine| unicode:: U+0007C .. VERTICAL LINE
  85. .. |VerticalSeparator| unicode:: U+02758 .. LIGHT VERTICAL BAR
  86. .. |ZeroWidthSpace| unicode:: U+0200B .. ZERO WIDTH SPACE