MathOperators.js 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477
  1. /*************************************************************
  2. *
  3. * MathJax/fonts/HTML-CSS/TeX/png/AMS/Regular/MathOperators.js
  4. *
  5. * Defines the image size data needed for the HTML-CSS OutputJax
  6. * to display mathematics using fallback images when the fonts
  7. * are not available to the client browser.
  8. *
  9. * ---------------------------------------------------------------------
  10. *
  11. * Copyright (c) 2009-2013 The MathJax Consortium
  12. *
  13. * Licensed under the Apache License, Version 2.0 (the "License");
  14. * you may not use this file except in compliance with the License.
  15. * You may obtain a copy of the
  16. *
  17. * http://www.apache.org/licenses/LICENSE-2.0
  18. *
  19. * Unless required by applicable law or agreed to in writing, software
  20. * distributed under the License is distributed on an "AS IS" BASIS,
  21. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  22. * See the License for the specific language governing permissions and
  23. * limitations under the License.
  24. *
  25. */
  26. MathJax.OutputJax["HTML-CSS"].defineImageData({
  27. "MathJax_AMS": {
  28. 0x2201: [ // COMPLEMENT
  29. [3,6,0],[4,7,0],[5,9,0],[6,11,1],[7,13,1],[8,16,1],[9,18,1],[11,21,1],
  30. [13,25,1],[15,29,1],[18,35,1],[21,41,1],[25,49,2],[30,58,2]
  31. ],
  32. 0x2204: [ // THERE DOES NOT EXIST
  33. [4,8,2],[4,10,2],[5,11,2],[6,12,2],[7,15,3],[9,18,3],[10,22,4],[12,24,4],
  34. [14,29,5],[17,35,6],[20,41,7],[24,48,8],[28,57,9],[33,68,11]
  35. ],
  36. 0x2205: [ // EMPTY SET
  37. [5,4,0],[6,5,0],[8,6,0],[9,7,0],[11,8,0],[12,10,0],[14,12,0],[17,15,1],
  38. [20,18,1],[24,21,1],[29,24,1],[34,29,1],[40,34,1],[48,40,1]
  39. ],
  40. 0x220D: [ // SMALL CONTAINS AS MEMBER
  41. [3,4,0],[4,5,1],[5,6,1],[6,7,1],[7,8,1],[8,9,1],[9,10,1],[11,12,1],
  42. [13,14,1],[16,16,1],[18,19,1],[22,22,1],[26,26,1],[31,30,1]
  43. ],
  44. 0x2212: [ // MINUS SIGN
  45. [3,1,-1],[4,1,-2],[5,1,-2],[5,1,-2],[6,1,-3],[7,1,-4],[9,2,-4],[10,2,-5],
  46. [12,2,-6],[14,2,-7],[17,2,-9],[20,3,-10],[23,3,-12],[28,3,-15]
  47. ],
  48. 0x2214: [ // DOT PLUS
  49. [5,7,1],[6,8,1],[8,9,1],[9,11,2],[10,13,2],[12,15,2],[14,17,2],[17,21,3],
  50. [20,25,3],[24,30,4],[28,34,4],[34,41,5],[40,49,6],[48,58,7]
  51. ],
  52. 0x2216: [ // SET MINUS
  53. [5,4,1],[6,5,1],[7,6,1],[9,7,1],[10,7,1],[12,9,1],[14,10,1],[16,11,1],
  54. [19,13,1],[23,16,1],[27,18,1],[32,22,2],[38,26,2],[46,31,2]
  55. ],
  56. 0x221D: [ // PROPORTIONAL TO
  57. [5,4,0],[7,4,0],[7,5,0],[9,6,0],[11,7,0],[13,8,0],[15,9,0],[17,11,0],
  58. [21,14,0],[24,16,0],[29,18,-1],[34,21,-1],[40,26,-1],[48,31,-1]
  59. ],
  60. 0x2220: [ // ANGLE
  61. [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,10,0],[12,12,0],[13,14,0],[16,17,0],
  62. [19,20,0],[22,23,0],[27,28,0],[31,33,0],[37,39,0],[44,46,0]
  63. ],
  64. 0x2221: [ // MEASURED ANGLE
  65. [5,6,1],[6,7,1],[7,8,1],[8,10,1],[10,11,1],[12,13,1],[14,15,1],[16,18,1],
  66. [19,21,1],[23,25,1],[27,29,1],[32,35,1],[38,42,2],[45,49,2]
  67. ],
  68. 0x2222: [ // SPHERICAL ANGLE
  69. [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,11,1],[13,12,1],[16,15,2],
  70. [19,18,2],[22,21,2],[27,24,2],[31,29,3],[37,34,3],[44,41,4]
  71. ],
  72. 0x2223: [ // DIVIDES
  73. [1,4,1],[1,5,1],[2,6,1],[2,7,1],[2,7,1],[2,9,1],[3,10,1],[4,11,1],
  74. [4,13,1],[5,16,1],[6,18,1],[7,22,2],[8,26,2],[9,31,2]
  75. ],
  76. 0x2224: [ // DOES NOT DIVIDE
  77. [3,8,2],[4,10,3],[4,11,3],[5,12,3],[5,15,4],[7,18,5],[7,20,5],[9,24,6],
  78. [10,28,7],[11,34,9],[14,40,10],[16,47,12],[19,56,14],[22,67,17]
  79. ],
  80. 0x2225: [ // PARALLEL TO
  81. [3,4,1],[3,5,1],[4,6,1],[4,7,1],[5,7,1],[6,9,1],[7,10,1],[8,11,1],
  82. [10,13,1],[11,16,1],[13,18,1],[16,23,2],[19,26,2],[22,31,2]
  83. ],
  84. 0x2226: [ // NOT PARALLEL TO
  85. [5,8,2],[6,10,3],[7,11,3],[8,12,3],[9,15,4],[10,18,5],[11,20,5],[14,24,6],
  86. [16,28,7],[18,34,9],[22,40,10],[26,47,12],[31,56,14],[36,67,17]
  87. ],
  88. 0x2234: [ // THEREFORE
  89. [5,5,1],[6,5,1],[7,6,1],[8,7,1],[9,9,2],[11,10,2],[13,12,2],[15,13,2],
  90. [18,17,3],[22,19,3],[26,23,4],[30,26,4],[36,32,5],[43,37,6]
  91. ],
  92. 0x2235: [ // BECAUSE
  93. [5,5,1],[6,5,1],[7,6,1],[8,7,1],[9,9,2],[11,10,2],[13,12,2],[15,13,2],
  94. [18,17,3],[22,19,3],[26,23,4],[30,26,4],[36,32,5],[43,37,6]
  95. ],
  96. 0x223C: [ // TILDE OPERATOR
  97. [5,2,-1],[6,2,-1],[8,3,-1],[9,4,-1],[10,5,-1],[13,5,-2],[15,6,-2],[17,6,-3],
  98. [20,8,-3],[24,9,-4],[29,10,-5],[34,11,-6],[40,14,-7],[48,17,-8]
  99. ],
  100. 0x223D: [ // REVERSED TILDE
  101. [5,2,-1],[6,3,-1],[8,3,-1],[9,4,-1],[10,4,-2],[12,5,-2],[15,6,-2],[17,6,-3],
  102. [20,8,-3],[24,9,-4],[29,10,-5],[34,12,-6],[40,14,-7],[48,17,-8]
  103. ],
  104. 0x2241: [ // stix-not, vert, similar
  105. [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[13,8,0],[15,10,0],[17,11,0],
  106. [20,13,0],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2]
  107. ],
  108. 0x2242: [ // MINUS TILDE
  109. [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[15,9,0],[17,11,0],
  110. [20,13,0],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2]
  111. ],
  112. 0x2246: [ // APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
  113. [5,7,2],[6,8,2],[8,9,2],[9,10,2],[10,12,3],[13,14,3],[15,17,4],[17,20,4],
  114. [20,23,5],[24,28,6],[29,33,7],[34,39,8],[40,46,9],[48,54,11]
  115. ],
  116. 0x2248: [ // ALMOST EQUAL TO
  117. [5,4,0],[6,4,0],[8,5,0],[9,6,0],[11,7,0],[13,8,0],[15,10,0],[17,11,-1],
  118. [21,13,-1],[24,15,-1],[29,18,-1],[34,21,-2],[40,25,-2],[48,29,-3]
  119. ],
  120. 0x224A: [ // ALMOST EQUAL OR EQUAL TO
  121. [5,5,1],[7,6,1],[8,7,1],[9,8,1],[11,9,1],[13,11,1],[15,13,1],[17,15,1],
  122. [21,18,2],[24,22,2],[29,25,2],[34,29,2],[41,36,3],[48,42,3]
  123. ],
  124. 0x224E: [ // GEOMETRICALLY EQUIVALENT TO
  125. [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[14,10,0],[17,12,0],
  126. [20,14,0],[24,17,0],[29,20,0],[34,23,0],[40,28,0],[48,33,0]
  127. ],
  128. 0x224F: [ // DIFFERENCE BETWEEN
  129. [5,3,-1],[6,3,-1],[8,4,-1],[9,5,-1],[10,5,-2],[12,6,-2],[14,8,-2],[17,9,-3],
  130. [20,11,-3],[24,13,-4],[29,15,-5],[34,17,-6],[40,21,-7],[48,25,-8]
  131. ],
  132. 0x2251: [ // GEOMETRICALLY EQUAL TO
  133. [5,6,1],[6,7,1],[8,8,2],[9,10,2],[10,11,2],[12,13,2],[15,15,3],[17,18,3],
  134. [20,20,3],[24,25,4],[29,29,5],[34,34,5],[40,40,6],[48,49,8]
  135. ],
  136. 0x2252: [ // APPROXIMATELY EQUAL TO OR THE IMAGE OF
  137. [6,5,1],[7,6,1],[8,7,1],[9,10,2],[11,11,2],[13,12,2],[15,14,2],[18,17,3],
  138. [22,20,3],[25,24,4],[30,28,4],[36,33,5],[43,40,6],[51,47,7]
  139. ],
  140. 0x2253: [ // IMAGE OF OR APPROXIMATELY EQUAL TO
  141. [6,5,1],[7,6,1],[8,7,1],[9,10,2],[11,11,2],[13,12,2],[15,14,2],[18,17,3],
  142. [22,20,3],[25,24,4],[30,28,4],[36,33,5],[43,40,6],[51,47,7]
  143. ],
  144. 0x2256: [ // RING IN EQUAL TO
  145. [5,2,-1],[6,2,-1],[8,3,-1],[9,4,-1],[10,3,-2],[12,4,-2],[15,5,-2],[17,6,-3],
  146. [20,8,-3],[24,9,-4],[29,10,-5],[34,11,-6],[40,14,-7],[48,17,-8]
  147. ],
  148. 0x2257: [ // RING EQUAL TO
  149. [5,4,-1],[6,5,-1],[8,6,-1],[9,8,-1],[10,8,-2],[12,10,-2],[15,12,-2],[17,14,-3],
  150. [20,17,-3],[24,20,-4],[29,24,-5],[34,28,-6],[40,33,-7],[48,40,-8]
  151. ],
  152. 0x225C: [ // DELTA EQUAL TO
  153. [5,5,-1],[6,7,-1],[8,8,-1],[9,9,-1],[10,10,-2],[12,13,-2],[15,15,-2],[17,17,-3],
  154. [20,21,-3],[24,25,-4],[29,29,-5],[34,34,-6],[40,41,-7],[48,49,-8]
  155. ],
  156. 0x2266: [ // LESS-THAN OVER EQUAL TO
  157. [5,8,2],[6,9,2],[8,10,2],[9,11,2],[10,14,3],[12,16,3],[15,19,4],[17,22,4],
  158. [20,26,5],[24,31,6],[28,37,7],[34,44,9],[40,52,10],[48,62,12]
  159. ],
  160. 0x2267: [ // GREATER-THAN OVER EQUAL TO
  161. [5,8,2],[6,9,2],[7,10,2],[9,11,2],[10,14,3],[12,16,3],[14,19,4],[17,22,4],
  162. [20,26,5],[23,31,6],[28,37,7],[33,44,9],[39,52,10],[46,62,12]
  163. ],
  164. 0x2268: [ // stix-less, vert, not double equals
  165. [5,8,2],[6,10,3],[7,11,3],[9,13,4],[10,15,4],[12,18,5],[14,21,6],[17,25,7],
  166. [20,29,8],[23,35,10],[28,42,12],[33,49,14],[39,58,16],[46,69,19]
  167. ],
  168. 0x2269: [ // stix-gt, vert, not double equals
  169. [5,8,2],[6,10,3],[7,11,3],[9,13,4],[10,15,4],[12,18,5],[14,21,6],[17,25,7],
  170. [20,29,8],[23,35,10],[28,42,12],[33,49,14],[39,58,16],[46,69,19]
  171. ],
  172. 0x226C: [ // BETWEEN
  173. [3,8,2],[4,10,3],[5,11,3],[5,12,3],[6,15,4],[8,18,5],[9,20,5],[10,24,6],
  174. [12,28,7],[14,34,9],[17,40,10],[20,47,12],[24,56,14],[28,67,17]
  175. ],
  176. 0x226E: [ // stix-not, vert, less-than
  177. [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5],
  178. [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14]
  179. ],
  180. 0x226F: [ // stix-not, vert, greater-than
  181. [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5],
  182. [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14]
  183. ],
  184. 0x2270: [ // stix-not, vert, less-than-or-equal
  185. [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7],
  186. [20,32,9],[24,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21]
  187. ],
  188. 0x2271: [ // stix-not, vert, greater-than-or-equal
  189. [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7],
  190. [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21]
  191. ],
  192. 0x2272: [ // stix-less-than or (contour) similar
  193. [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6],
  194. [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15]
  195. ],
  196. 0x2273: [ // stix-greater-than or (contour) similar
  197. [5,8,2],[6,9,2],[7,10,2],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6],
  198. [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15]
  199. ],
  200. 0x2276: [ // LESS-THAN OR GREATER-THAN
  201. [6,7,2],[7,9,3],[8,10,3],[9,11,3],[11,14,4],[13,17,5],[15,19,5],[18,22,6],
  202. [21,26,7],[25,32,9],[29,37,10],[35,44,12],[41,52,14],[49,62,17]
  203. ],
  204. 0x2277: [ // GREATER-THAN OR LESS-THAN
  205. [5,7,2],[6,9,3],[7,10,3],[9,11,3],[10,14,4],[12,17,5],[14,19,5],[17,22,6],
  206. [20,26,7],[23,32,9],[28,37,10],[33,44,12],[39,52,14],[46,62,17]
  207. ],
  208. 0x227C: [ // PRECEDES OR EQUAL TO
  209. [5,6,2],[6,7,2],[7,8,2],[9,9,2],[10,12,3],[12,13,3],[14,15,3],[16,18,4],
  210. [19,22,5],[23,25,5],[27,29,6],[32,34,7],[38,42,9],[46,49,10]
  211. ],
  212. 0x227D: [ // SUCCEEDS OR EQUAL TO
  213. [5,6,2],[6,7,2],[7,8,2],[9,9,2],[10,11,3],[12,13,3],[14,16,4],[17,18,4],
  214. [20,21,5],[23,26,6],[28,30,7],[33,35,8],[39,42,9],[46,50,11]
  215. ],
  216. 0x227E: [ // PRECEDES OR EQUIVALENT TO
  217. [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6],
  218. [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15]
  219. ],
  220. 0x227F: [ // SUCCEEDS OR EQUIVALENT TO
  221. [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6],
  222. [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,65,16]
  223. ],
  224. 0x2280: [ // DOES NOT PRECEDE
  225. [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,13,3],[12,16,4],[14,19,5],[17,22,5],
  226. [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14]
  227. ],
  228. 0x2281: [ // stix-not (vert) succeeds
  229. [5,7,2],[6,8,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5],
  230. [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,51,12],[46,61,14]
  231. ],
  232. 0x2288: [ // stix-/nsubseteq N: not (vert) subset, equals
  233. [5,9,3],[6,10,3],[7,12,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7],
  234. [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21]
  235. ],
  236. 0x2289: [ // stix-/nsupseteq N: not (vert) superset, equals
  237. [5,9,3],[6,10,3],[7,11,3],[8,14,4],[10,17,5],[12,19,6],[14,22,6],[17,26,7],
  238. [20,32,9],[23,37,11],[28,44,12],[33,53,15],[39,62,17],[46,73,20]
  239. ],
  240. 0x228A: [ // stix-subset, not equals, variant
  241. [5,7,2],[6,8,2],[7,10,3],[9,11,3],[10,13,4],[12,16,5],[14,18,5],[17,21,6],
  242. [20,25,7],[23,31,9],[28,36,10],[33,42,12],[39,50,14],[46,59,17]
  243. ],
  244. 0x228B: [ // stix-superset, not equals, variant
  245. [5,7,2],[6,8,2],[7,10,3],[8,11,3],[10,13,4],[12,16,5],[14,18,5],[17,21,6],
  246. [20,25,7],[23,30,9],[28,35,10],[33,42,12],[39,50,14],[46,59,17]
  247. ],
  248. 0x228F: [ // SQUARE IMAGE OF
  249. [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1],
  250. [19,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3]
  251. ],
  252. 0x2290: [ // SQUARE ORIGINAL OF
  253. [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1],
  254. [20,17,2],[24,20,2],[28,24,2],[34,28,2],[40,33,3],[47,39,3]
  255. ],
  256. 0x229A: [ // CIRCLED RING OPERATOR
  257. [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2],
  258. [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6]
  259. ],
  260. 0x229B: [ // CIRCLED ASTERISK OPERATOR
  261. [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2],
  262. [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6]
  263. ],
  264. 0x229D: [ // CIRCLED DASH
  265. [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2],
  266. [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6]
  267. ],
  268. 0x229E: [ // SQUARED PLUS
  269. [5,5,0],[6,6,0],[8,7,0],[9,8,0],[11,10,0],[13,12,0],[15,14,0],[17,16,0],
  270. [20,20,0],[24,23,0],[29,27,0],[34,32,0],[41,39,0],[48,46,0]
  271. ],
  272. 0x229F: [ // SQUARED MINUS
  273. [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0],
  274. [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0]
  275. ],
  276. 0x22A0: [ // SQUARED TIMES
  277. [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0],
  278. [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0]
  279. ],
  280. 0x22A1: [ // SQUARED DOT OPERATOR
  281. [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0],
  282. [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0]
  283. ],
  284. 0x22A8: [ // TRUE
  285. [4,5,0],[5,6,0],[6,7,0],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0],
  286. [16,20,0],[19,23,0],[22,28,0],[26,33,0],[31,39,0],[37,46,0]
  287. ],
  288. 0x22A9: [ // FORCES
  289. [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,10,0],[12,12,0],[14,14,0],[16,17,0],
  290. [19,20,0],[22,23,0],[26,28,0],[31,33,0],[37,39,0],[44,46,0]
  291. ],
  292. 0x22AA: [ // TRIPLE VERTICAL BAR RIGHT TURNSTILE
  293. [6,5,0],[7,6,0],[9,7,0],[10,9,0],[12,10,0],[14,12,0],[17,14,0],[19,17,0],
  294. [24,20,0],[28,23,0],[33,28,0],[39,33,0],[46,39,0],[55,46,0]
  295. ],
  296. 0x22AC: [ // DOES NOT PROVE
  297. [5,5,0],[6,7,1],[7,8,1],[8,10,1],[9,11,1],[11,13,1],[13,15,1],[15,18,1],
  298. [18,21,1],[21,24,1],[25,29,1],[30,34,1],[35,40,1],[41,47,1]
  299. ],
  300. 0x22AD: [ // NOT TRUE
  301. [5,5,0],[6,7,1],[7,8,1],[8,10,1],[9,11,1],[11,13,1],[13,15,1],[15,18,1],
  302. [18,21,1],[21,24,1],[25,29,1],[29,34,1],[35,40,1],[41,47,1]
  303. ],
  304. 0x22AE: [ // DOES NOT FORCE
  305. [6,5,0],[7,7,1],[8,8,1],[9,10,1],[11,11,1],[13,13,1],[15,15,1],[18,18,1],
  306. [21,21,1],[24,24,1],[29,29,1],[35,34,1],[41,40,1],[48,47,1]
  307. ],
  308. 0x22AF: [ // NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
  309. [6,5,0],[7,7,1],[8,8,1],[9,10,1],[11,11,1],[13,13,1],[16,15,1],[18,18,1],
  310. [21,21,1],[24,24,1],[30,29,1],[35,34,1],[41,40,1],[49,47,1]
  311. ],
  312. 0x22B2: [ // NORMAL SUBGROUP OF
  313. [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[16,14,1],
  314. [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3]
  315. ],
  316. 0x22B3: [ // CONTAINS AS NORMAL SUBGROUP
  317. [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1],
  318. [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3]
  319. ],
  320. 0x22B4: [ // NORMAL SUBGROUP OF OR EQUAL TO
  321. [5,6,1],[6,7,1],[7,9,2],[9,10,2],[10,11,2],[12,14,3],[14,16,3],[17,18,3],
  322. [20,22,4],[23,26,5],[28,31,6],[33,37,7],[39,44,8],[46,52,10]
  323. ],
  324. 0x22B5: [ // CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
  325. [5,6,1],[6,7,1],[7,9,2],[9,10,2],[10,11,2],[12,14,3],[14,16,3],[17,18,3],
  326. [20,22,4],[23,26,5],[28,31,6],[33,37,7],[39,44,8],[46,52,10]
  327. ],
  328. 0x22B8: [ // MULTIMAP
  329. [8,3,0],[9,4,0],[11,3,-1],[13,4,-1],[15,5,-1],[18,6,-1],[21,6,-2],[25,8,-2],
  330. [30,10,-2],[35,11,-3],[42,13,-3],[50,15,-4],[59,18,-5],[70,21,-6]
  331. ],
  332. 0x22BA: [ // INTERCALATE
  333. [4,5,2],[5,6,2],[5,8,3],[6,8,3],[7,9,3],[9,12,4],[10,13,4],[12,15,5],
  334. [14,18,6],[17,23,8],[20,26,9],[24,31,10],[28,36,12],[33,43,14]
  335. ],
  336. 0x22BB: [ // XOR
  337. [4,5,0],[5,6,0],[6,8,0],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0],
  338. [16,20,0],[19,24,0],[22,29,0],[26,34,0],[31,40,0],[37,48,0]
  339. ],
  340. 0x22BC: [ // NAND
  341. [4,5,0],[5,6,0],[6,8,1],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0],
  342. [16,20,0],[19,25,1],[22,29,0],[26,35,1],[31,41,1],[37,49,1]
  343. ],
  344. 0x22C5: [ // DOT OPERATOR
  345. [2,2,0],[2,2,0],[3,2,0],[3,3,0],[4,3,0],[4,4,0],[5,4,0],[6,5,0],
  346. [7,6,0],[8,7,0],[9,8,0],[11,9,0],[13,11,0],[15,13,0]
  347. ],
  348. 0x22C7: [ // DIVISION TIMES
  349. [5,5,1],[6,6,1],[8,7,1],[9,8,1],[10,9,1],[12,11,1],[15,12,1],[17,15,2],
  350. [20,18,2],[24,20,2],[29,24,2],[34,29,3],[40,34,3],[48,39,3]
  351. ],
  352. 0x22C9: [ // LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
  353. [5,4,0],[6,5,0],[7,5,0],[8,6,0],[9,7,0],[11,9,0],[13,10,0],[15,12,0],
  354. [18,14,0],[21,17,0],[25,20,0],[30,23,0],[35,28,0],[42,33,0]
  355. ],
  356. 0x22CA: [ // RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
  357. [5,4,0],[6,5,0],[6,5,0],[8,6,0],[9,7,0],[11,9,0],[13,10,0],[15,12,0],
  358. [18,14,0],[21,17,0],[25,20,0],[30,23,0],[35,28,0],[42,33,0]
  359. ],
  360. 0x22CB: [ // LEFT SEMIDIRECT PRODUCT
  361. [5,6,1],[6,7,1],[8,8,1],[9,10,1],[10,11,1],[12,13,1],[15,15,1],[17,18,1],
  362. [20,21,1],[24,24,1],[29,29,1],[34,35,2],[40,41,2],[48,48,2]
  363. ],
  364. 0x22CC: [ // RIGHT SEMIDIRECT PRODUCT
  365. [5,6,1],[6,7,1],[8,8,1],[9,10,1],[10,11,1],[12,13,1],[14,15,1],[17,18,1],
  366. [20,21,1],[24,24,1],[29,29,1],[34,35,2],[40,41,2],[48,48,2]
  367. ],
  368. 0x22CD: [ // REVERSED TILDE EQUALS
  369. [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[15,10,0],[17,10,-1],
  370. [20,12,-1],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2]
  371. ],
  372. 0x22CE: [ // CURLY LOGICAL OR
  373. [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,10,1],[12,11,1],[14,13,1],[16,15,1],
  374. [19,17,1],[23,20,1],[27,24,1],[32,28,1],[38,34,2],[45,41,2]
  375. ],
  376. 0x22CF: [ // CURLY LOGICAL AND
  377. [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,11,1],[14,13,1],[16,15,1],
  378. [19,17,1],[23,20,1],[27,24,1],[32,29,2],[38,34,2],[45,40,2]
  379. ],
  380. 0x22D0: [ // DOUBLE SUBSET
  381. [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[16,14,1],
  382. [19,17,2],[23,20,2],[27,23,2],[33,27,2],[39,33,3],[46,39,3]
  383. ],
  384. 0x22D1: [ // DOUBLE SUPERSET
  385. [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1],
  386. [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3]
  387. ],
  388. 0x22D2: [ // DOUBLE INTERSECTION
  389. [5,5,1],[5,6,1],[6,7,1],[7,8,1],[9,10,1],[10,11,1],[12,13,1],[14,15,1],
  390. [17,18,1],[21,21,1],[24,25,1],[29,30,2],[34,36,2],[41,42,2]
  391. ],
  392. 0x22D3: [ // DOUBLE UNION
  393. [5,5,1],[6,6,1],[6,7,1],[8,8,1],[9,10,1],[11,11,1],[12,13,1],[14,15,1],
  394. [18,18,1],[21,21,1],[24,25,1],[29,29,1],[34,36,2],[41,42,2]
  395. ],
  396. 0x22D4: [ // PITCHFORK
  397. [5,7,1],[6,8,1],[6,9,1],[8,10,1],[9,12,1],[11,14,1],[12,16,1],[15,19,1],
  398. [18,22,1],[21,26,1],[24,30,1],[29,37,2],[34,43,2],[41,51,2]
  399. ],
  400. 0x22D6: [ // LESS-THAN WITH DOT
  401. [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1],
  402. [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3]
  403. ],
  404. 0x22D7: [ // GREATER-THAN WITH DOT
  405. [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1],
  406. [20,17,2],[23,20,2],[27,24,2],[33,28,2],[39,33,3],[46,39,3]
  407. ],
  408. 0x22D8: [ // VERY MUCH LESS-THAN
  409. [9,5,1],[11,6,1],[13,7,1],[15,8,1],[18,9,1],[22,12,2],[25,14,2],[30,16,2],
  410. [36,18,2],[42,22,3],[50,26,3],[60,31,4],[71,36,4],[84,43,5]
  411. ],
  412. 0x22D9: [ // VERY MUCH GREATER-THAN
  413. [9,5,1],[11,6,1],[13,7,1],[16,8,1],[18,9,1],[22,12,2],[25,14,2],[30,16,2],
  414. [36,18,2],[43,22,3],[51,26,3],[60,31,4],[71,36,4],[85,43,5]
  415. ],
  416. 0x22DA: [ // stix-less, equal, slanted, greater
  417. [5,10,3],[6,12,4],[7,13,4],[8,16,5],[10,19,6],[12,22,7],[14,26,8],[16,30,9],
  418. [19,36,11],[23,43,13],[27,50,15],[32,60,18],[38,71,22],[45,85,26]
  419. ],
  420. 0x22DB: [ // stix-greater, equal, slanted, less
  421. [5,10,3],[6,12,4],[7,13,4],[8,16,5],[10,19,6],[12,22,7],[14,26,8],[16,30,9],
  422. [19,36,11],[23,43,13],[27,51,16],[32,60,18],[38,71,22],[45,85,26]
  423. ],
  424. 0x22DE: [ // EQUAL TO OR PRECEDES
  425. [5,7,1],[6,8,1],[7,9,1],[9,10,1],[10,12,1],[12,14,1],[14,16,1],[17,18,1],
  426. [20,22,1],[23,26,1],[28,30,1],[33,35,1],[39,42,1],[46,50,1]
  427. ],
  428. 0x22DF: [ // EQUAL TO OR SUCCEEDS
  429. [5,6,0],[6,7,0],[7,8,0],[9,9,0],[10,11,0],[12,13,0],[14,15,0],[17,18,0],
  430. [20,21,0],[23,25,0],[28,29,0],[33,35,0],[39,41,0],[46,49,0]
  431. ],
  432. 0x22E0: [ // stix-not (vert) precedes or contour equals
  433. [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,27,7],
  434. [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21]
  435. ],
  436. 0x22E1: [ // stix-not (vert) succeeds or contour equals
  437. [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7],
  438. [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21]
  439. ],
  440. 0x22E6: [ // LESS-THAN BUT NOT EQUIVALENT TO
  441. [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9],
  442. [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,61,20],[48,73,24]
  443. ],
  444. 0x22E7: [ // GREATER-THAN BUT NOT EQUIVALENT TO
  445. [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9],
  446. [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,61,20],[48,73,24]
  447. ],
  448. 0x22E8: [ // PRECEDES BUT NOT EQUIVALENT TO
  449. [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9],
  450. [20,31,10],[24,37,12],[29,43,14],[34,51,17],[40,61,20],[48,73,24]
  451. ],
  452. 0x22E9: [ // SUCCEEDS BUT NOT EQUIVALENT TO
  453. [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,23,8],[17,26,9],
  454. [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,62,21],[48,73,24]
  455. ],
  456. 0x22EA: [ // NOT NORMAL SUBGROUP OF
  457. [5,8,2],[6,9,2],[7,10,3],[8,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5],
  458. [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14]
  459. ],
  460. 0x22EB: [ // DOES NOT CONTAIN AS NORMAL SUBGROUP
  461. [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5],
  462. [19,26,6],[23,31,7],[27,37,9],[33,43,10],[39,52,12],[46,61,14]
  463. ],
  464. 0x22EC: [ // stix-not, vert, left triangle, equals
  465. [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7],
  466. [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21]
  467. ],
  468. 0x22ED: [ // stix-not, vert, right triangle, equals
  469. [5,9,3],[6,10,3],[8,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7],
  470. [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21]
  471. ]
  472. }
  473. });
  474. MathJax.Ajax.loadComplete(MathJax.OutputJax["HTML-CSS"].imgDir+"/AMS/Regular"+
  475. MathJax.OutputJax["HTML-CSS"].imgPacked+"/MathOperators.js");