MathOperators.js 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228
  1. /*************************************************************
  2. *
  3. * MathJax/jax/output/HTML-CSS/optable/MathOperators.js
  4. *
  5. * Copyright (c) 2010-2017 The MathJax Consortium
  6. *
  7. * Licensed under the Apache License, Version 2.0 (the "License");
  8. * you may not use this file except in compliance with the License.
  9. * You may obtain a copy of the License at
  10. *
  11. * http://www.apache.org/licenses/LICENSE-2.0
  12. *
  13. * Unless required by applicable law or agreed to in writing, software
  14. * distributed under the License is distributed on an "AS IS" BASIS,
  15. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  16. * See the License for the specific language governing permissions and
  17. * limitations under the License.
  18. *
  19. */
  20. (function (MML) {
  21. var MO = MML.mo.OPTYPES;
  22. var TEXCLASS = MML.TEXCLASS;
  23. MathJax.Hub.Insert(MML.mo.prototype,{
  24. OPTABLE: {
  25. prefix: {
  26. '\u2204': MO.ORD21, // there does not exist
  27. '\u221B': MO.ORD11, // cube root
  28. '\u221C': MO.ORD11, // fourth root
  29. '\u2221': MO.ORD, // measured angle
  30. '\u2222': MO.ORD, // spherical angle
  31. '\u222C': MO.INTEGRAL, // double integral
  32. '\u222D': MO.INTEGRAL, // triple integral
  33. '\u222F': MO.INTEGRAL, // surface integral
  34. '\u2230': MO.INTEGRAL, // volume integral
  35. '\u2231': MO.INTEGRAL, // clockwise integral
  36. '\u2232': MO.INTEGRAL, // clockwise contour integral
  37. '\u2233': MO.INTEGRAL // anticlockwise contour integral
  38. },
  39. infix: {
  40. '\u2201': [1,2,TEXCLASS.ORD], // complement
  41. '\u2206': MO.BIN3, // increment
  42. '\u220A': MO.REL, // small element of
  43. '\u220C': MO.REL, // does not contain as member
  44. '\u220D': MO.REL, // small contains as member
  45. '\u220E': MO.BIN3, // end of proof
  46. '\u2214': MO.BIN4, // dot plus
  47. '\u221F': MO.REL, // right angle
  48. '\u2224': MO.REL, // does not divide
  49. '\u2226': MO.REL, // not parallel to
  50. '\u2234': MO.REL, // therefore
  51. '\u2235': MO.REL, // because
  52. '\u2236': MO.REL, // ratio
  53. '\u2237': MO.REL, // proportion
  54. '\u2238': MO.BIN4, // dot minus
  55. '\u2239': MO.REL, // excess
  56. '\u223A': MO.BIN4, // geometric proportion
  57. '\u223B': MO.REL, // homothetic
  58. '\u223D': MO.REL, // reversed tilde
  59. '\u223D\u0331': MO.BIN3, // reversed tilde with underline
  60. '\u223E': MO.REL, // inverted lazy s
  61. '\u223F': MO.BIN3, // sine wave
  62. '\u2241': MO.REL, // not tilde
  63. '\u2242': MO.REL, // minus tilde
  64. '\u2242\u0338': MO.REL, // minus tilde with slash
  65. '\u2244': MO.REL, // not asymptotically equal to
  66. '\u2246': MO.REL, // approximately but not actually equal to
  67. '\u2247': MO.REL, // neither approximately nor actually equal to
  68. '\u2249': MO.REL, // not almost equal to
  69. '\u224A': MO.REL, // almost equal or equal to
  70. '\u224B': MO.REL, // triple tilde
  71. '\u224C': MO.REL, // all equal to
  72. '\u224E': MO.REL, // geometrically equivalent to
  73. '\u224E\u0338': MO.REL, // geometrically equivalent to with slash
  74. '\u224F': MO.REL, // difference between
  75. '\u224F\u0338': MO.REL, // difference between with slash
  76. '\u2251': MO.REL, // geometrically equal to
  77. '\u2252': MO.REL, // approximately equal to or the image of
  78. '\u2253': MO.REL, // image of or approximately equal to
  79. '\u2254': MO.REL, // colon equals
  80. '\u2255': MO.REL, // equals colon
  81. '\u2256': MO.REL, // ring in equal to
  82. '\u2257': MO.REL, // ring equal to
  83. '\u2258': MO.REL, // corresponds to
  84. '\u2259': MO.REL, // estimates
  85. '\u225A': MO.REL, // equiangular to
  86. '\u225C': MO.REL, // delta equal to
  87. '\u225D': MO.REL, // equal to by definition
  88. '\u225E': MO.REL, // measured by
  89. '\u225F': MO.REL, // questioned equal to
  90. '\u2262': MO.REL, // not identical to
  91. '\u2263': MO.REL, // strictly equivalent to
  92. '\u2266': MO.REL, // less-than over equal to
  93. '\u2266\u0338': MO.REL, // less-than over equal to with slash
  94. '\u2267': MO.REL, // greater-than over equal to
  95. '\u2268': MO.REL, // less-than but not equal to
  96. '\u2269': MO.REL, // greater-than but not equal to
  97. '\u226A\u0338': MO.REL, // much less than with slash
  98. '\u226B\u0338': MO.REL, // much greater than with slash
  99. '\u226C': MO.REL, // between
  100. '\u226D': MO.REL, // not equivalent to
  101. '\u226E': MO.REL, // not less-than
  102. '\u226F': MO.REL, // not greater-than
  103. '\u2270': MO.REL, // neither less-than nor equal to
  104. '\u2271': MO.REL, // neither greater-than nor equal to
  105. '\u2272': MO.REL, // less-than or equivalent to
  106. '\u2273': MO.REL, // greater-than or equivalent to
  107. '\u2274': MO.REL, // neither less-than nor equivalent to
  108. '\u2275': MO.REL, // neither greater-than nor equivalent to
  109. '\u2276': MO.REL, // less-than or greater-than
  110. '\u2277': MO.REL, // greater-than or less-than
  111. '\u2278': MO.REL, // neither less-than nor greater-than
  112. '\u2279': MO.REL, // neither greater-than nor less-than
  113. '\u227C': MO.REL, // precedes or equal to
  114. '\u227D': MO.REL, // succeeds or equal to
  115. '\u227E': MO.REL, // precedes or equivalent to
  116. '\u227F': MO.REL, // succeeds or equivalent to
  117. '\u227F\u0338': MO.REL, // succeeds or equivalent to with slash
  118. '\u2280': MO.REL, // does not precede
  119. '\u2281': MO.REL, // does not succeed
  120. '\u2282\u20D2': MO.REL, // subset of with vertical line
  121. '\u2283\u20D2': MO.REL, // superset of with vertical line
  122. '\u2284': MO.REL, // not a subset of
  123. '\u2285': MO.REL, // not a superset of
  124. '\u2288': MO.REL, // neither a subset of nor equal to
  125. '\u2289': MO.REL, // neither a superset of nor equal to
  126. '\u228A': MO.REL, // subset of with not equal to
  127. '\u228B': MO.REL, // superset of with not equal to
  128. '\u228C': MO.BIN4, // multiset
  129. '\u228D': MO.BIN4, // multiset multiplication
  130. '\u228F': MO.REL, // square image of
  131. '\u228F\u0338': MO.REL, // square image of with slash
  132. '\u2290': MO.REL, // square original of
  133. '\u2290\u0338': MO.REL, // square original of with slash
  134. '\u229A': MO.BIN4, // circled ring operator
  135. '\u229B': MO.BIN4, // circled asterisk operator
  136. '\u229C': MO.BIN4, // circled equals
  137. '\u229D': MO.BIN4, // circled dash
  138. '\u229E': MO.BIN4, // squared plus
  139. '\u229F': MO.BIN4, // squared minus
  140. '\u22A0': MO.BIN4, // squared times
  141. '\u22A1': MO.BIN4, // squared dot operator
  142. '\u22A6': MO.REL, // assertion
  143. '\u22A7': MO.REL, // models
  144. '\u22A9': MO.REL, // forces
  145. '\u22AA': MO.REL, // triple vertical bar right turnstile
  146. '\u22AB': MO.REL, // double vertical bar double right turnstile
  147. '\u22AC': MO.REL, // does not prove
  148. '\u22AD': MO.REL, // not true
  149. '\u22AE': MO.REL, // does not force
  150. '\u22AF': MO.REL, // negated double vertical bar double right turnstile
  151. '\u22B0': MO.REL, // precedes under relation
  152. '\u22B1': MO.REL, // succeeds under relation
  153. '\u22B2': MO.REL, // normal subgroup of
  154. '\u22B3': MO.REL, // contains as normal subgroup
  155. '\u22B4': MO.REL, // normal subgroup of or equal to
  156. '\u22B5': MO.REL, // contains as normal subgroup or equal to
  157. '\u22B6': MO.REL, // original of
  158. '\u22B7': MO.REL, // image of
  159. '\u22B8': MO.REL, // multimap
  160. '\u22B9': MO.REL, // hermitian conjugate matrix
  161. '\u22BA': MO.BIN4, // intercalate
  162. '\u22BB': MO.BIN4, // xor
  163. '\u22BC': MO.BIN4, // nand
  164. '\u22BD': MO.BIN4, // nor
  165. '\u22BE': MO.BIN3, // right angle with arc
  166. '\u22BF': MO.BIN3, // right triangle
  167. '\u22C7': MO.BIN4, // division times
  168. '\u22C9': MO.BIN4, // left normal factor semidirect product
  169. '\u22CA': MO.BIN4, // right normal factor semidirect product
  170. '\u22CB': MO.BIN4, // left semidirect product
  171. '\u22CC': MO.BIN4, // right semidirect product
  172. '\u22CD': MO.REL, // reversed tilde equals
  173. '\u22CE': MO.BIN4, // curly logical or
  174. '\u22CF': MO.BIN4, // curly logical and
  175. '\u22D0': MO.REL, // double subset
  176. '\u22D1': MO.REL, // double superset
  177. '\u22D2': MO.BIN4, // double intersection
  178. '\u22D3': MO.BIN4, // double union
  179. '\u22D4': MO.REL, // pitchfork
  180. '\u22D5': MO.REL, // equal and parallel to
  181. '\u22D6': MO.REL, // less-than with dot
  182. '\u22D7': MO.REL, // greater-than with dot
  183. '\u22D8': MO.REL, // very much less-than
  184. '\u22D9': MO.REL, // very much greater-than
  185. '\u22DA': MO.REL, // less-than equal to or greater-than
  186. '\u22DB': MO.REL, // greater-than equal to or less-than
  187. '\u22DC': MO.REL, // equal to or less-than
  188. '\u22DD': MO.REL, // equal to or greater-than
  189. '\u22DE': MO.REL, // equal to or precedes
  190. '\u22DF': MO.REL, // equal to or succeeds
  191. '\u22E0': MO.REL, // does not precede or equal
  192. '\u22E1': MO.REL, // does not succeed or equal
  193. '\u22E2': MO.REL, // not square image of or equal to
  194. '\u22E3': MO.REL, // not square original of or equal to
  195. '\u22E4': MO.REL, // square image of or not equal to
  196. '\u22E5': MO.REL, // square original of or not equal to
  197. '\u22E6': MO.REL, // less-than but not equivalent to
  198. '\u22E7': MO.REL, // greater-than but not equivalent to
  199. '\u22E8': MO.REL, // precedes but not equivalent to
  200. '\u22E9': MO.REL, // succeeds but not equivalent to
  201. '\u22EA': MO.REL, // not normal subgroup of
  202. '\u22EB': MO.REL, // does not contain as normal subgroup
  203. '\u22EC': MO.REL, // not normal subgroup of or equal to
  204. '\u22ED': MO.REL, // does not contain as normal subgroup or equal
  205. '\u22F0': MO.REL, // up right diagonal ellipsis
  206. '\u22F2': MO.REL, // element of with long horizontal stroke
  207. '\u22F3': MO.REL, // element of with vertical bar at end of horizontal stroke
  208. '\u22F4': MO.REL, // small element of with vertical bar at end of horizontal stroke
  209. '\u22F5': MO.REL, // element of with dot above
  210. '\u22F6': MO.REL, // element of with overbar
  211. '\u22F7': MO.REL, // small element of with overbar
  212. '\u22F8': MO.REL, // element of with underbar
  213. '\u22F9': MO.REL, // element of with two horizontal strokes
  214. '\u22FA': MO.REL, // contains with long horizontal stroke
  215. '\u22FB': MO.REL, // contains with vertical bar at end of horizontal stroke
  216. '\u22FC': MO.REL, // small contains with vertical bar at end of horizontal stroke
  217. '\u22FD': MO.REL, // contains with overbar
  218. '\u22FE': MO.REL, // small contains with overbar
  219. '\u22FF': MO.REL // z notation bag membership
  220. }
  221. }
  222. });
  223. MathJax.Ajax.loadComplete(MML.optableDir+"/MathOperators.js");
  224. })(MathJax.ElementJax.mml);