jax.js 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772
  1. /* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */
  2. /* vim: set ts=2 et sw=2 tw=80: */
  3. /*************************************************************
  4. *
  5. * MathJax/jax/input/MathML/jax.js
  6. *
  7. * Implements the MathML InputJax that reads mathematics in
  8. * MathML format and converts it to the MML ElementJax
  9. * internal format.
  10. *
  11. * ---------------------------------------------------------------------
  12. *
  13. * Copyright (c) 2010-2015 The MathJax Consortium
  14. *
  15. * Licensed under the Apache License, Version 2.0 (the "License");
  16. * you may not use this file except in compliance with the License.
  17. * You may obtain a copy of the License at
  18. *
  19. * http://www.apache.org/licenses/LICENSE-2.0
  20. *
  21. * Unless required by applicable law or agreed to in writing, software
  22. * distributed under the License is distributed on an "AS IS" BASIS,
  23. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  24. * See the License for the specific language governing permissions and
  25. * limitations under the License.
  26. */
  27. (function (MATHML,BROWSER) {
  28. var MML;
  29. var _ = function (id) {
  30. return MathJax.Localization._.apply(MathJax.Localization,
  31. [["MathML",id]].concat([].slice.call(arguments,1)))
  32. };
  33. MATHML.Parse = MathJax.Object.Subclass({
  34. Init: function (string,script) {this.Parse(string,script)},
  35. //
  36. // Parse the MathML and check for errors
  37. //
  38. Parse: function (math,script) {
  39. var doc;
  40. if (typeof math !== "string") {doc = math.parentNode} else {
  41. doc = MATHML.ParseXML(this.preProcessMath.call(this,math));
  42. if (doc == null) {MATHML.Error(["ErrorParsingMathML","Error parsing MathML"])}
  43. }
  44. var err = doc.getElementsByTagName("parsererror")[0];
  45. if (err) MATHML.Error(["ParsingError","Error parsing MathML: %1",
  46. err.textContent.replace(/This page.*?errors:|XML Parsing Error: |Below is a rendering of the page.*/g,"")]);
  47. if (doc.childNodes.length !== 1)
  48. {MATHML.Error(["MathMLSingleElement","MathML must be formed by a single element"])}
  49. if (doc.firstChild.nodeName.toLowerCase() === "html") {
  50. var h1 = doc.getElementsByTagName("h1")[0];
  51. if (h1 && h1.textContent === "XML parsing error" && h1.nextSibling)
  52. MATHML.Error(["ParsingError","Error parsing MathML: %1",
  53. String(h1.nextSibling.nodeValue).replace(/fatal parsing error: /,"")]);
  54. }
  55. if (doc.firstChild.nodeName.toLowerCase().replace(/^[a-z]+:/,"") !== "math") {
  56. MATHML.Error(["MathMLRootElement",
  57. "MathML must be formed by a <math> element, not %1",
  58. "<"+doc.firstChild.nodeName+">"]);
  59. }
  60. var data = {math:doc.firstChild, script:script};
  61. MATHML.DOMfilterHooks.Execute(data);
  62. this.mml = this.MakeMML(data.math);
  63. },
  64. //
  65. // Convert the MathML structure to the MathJax Element jax structure
  66. //
  67. MakeMML: function (node) {
  68. var CLASS = String(node.getAttribute("class")||""); // make sure CLASS is a string
  69. var mml, type = node.nodeName.toLowerCase().replace(/^[a-z]+:/,"");
  70. var match = (CLASS.match(/(^| )MJX-TeXAtom-([^ ]*)/));
  71. if (match) {
  72. mml = this.TeXAtom(match[2]);
  73. } else if (!(MML[type] && MML[type].isa && MML[type].isa(MML.mbase))) {
  74. MathJax.Hub.signal.Post(["MathML Jax - unknown node type",type]);
  75. return MML.Error(_("UnknownNodeType","Unknown node type: %1",type));
  76. } else {
  77. mml = MML[type]();
  78. }
  79. this.AddAttributes(mml,node); this.CheckClass(mml,mml["class"]);
  80. this.AddChildren(mml,node);
  81. if (MATHML.config.useMathMLspacing) {mml.useMMLspacing = 0x08}
  82. return mml;
  83. },
  84. TeXAtom: function (mclass) {
  85. var mml = MML.TeXAtom().With({texClass:MML.TEXCLASS[mclass]});
  86. if (mml.texClass === MML.TEXCLASS.OP) {mml.movesupsub = mml.movablelimits = true}
  87. return mml;
  88. },
  89. CheckClass: function (mml,CLASS) {
  90. CLASS = (CLASS||"").split(/ /); var NCLASS = [];
  91. for (var i = 0, m = CLASS.length; i < m; i++) {
  92. if (CLASS[i].substr(0,4) === "MJX-") {
  93. if (CLASS[i] === "MJX-arrow") {
  94. // This class was used in former versions of MathJax to attach an
  95. // arrow to the updiagonalstrike notation. For backward
  96. // compatibility, let's continue to accept this case. See issue 481.
  97. if (!mml.notation.match("/"+MML.NOTATION.UPDIAGONALARROW+"/"))
  98. mml.notation += " "+MML.NOTATION.UPDIAGONALARROW;
  99. } else if (CLASS[i] === "MJX-variant") {
  100. mml.variantForm = true;
  101. //
  102. // Variant forms come from AMSsymbols, and it sets up the
  103. // character mappings, so load that if needed.
  104. //
  105. if (!MathJax.Extension["TeX/AMSsymbols"])
  106. {MathJax.Hub.RestartAfter(MathJax.Ajax.Require("[MathJax]/extensions/TeX/AMSsymbols.js"))}
  107. } else if (CLASS[i].substr(0,11) !== "MJX-TeXAtom") {
  108. mml.mathvariant = CLASS[i].substr(3);
  109. //
  110. // Caligraphic and oldstyle bold are set up in the boldsymbol
  111. // extension, so load it if it isn't already loaded.
  112. //
  113. if (mml.mathvariant === "-tex-caligraphic-bold" ||
  114. mml.mathvariant === "-tex-oldstyle-bold") {
  115. if (!MathJax.Extension["TeX/boldsymbol"])
  116. {MathJax.Hub.RestartAfter(MathJax.Ajax.Require("[MathJax]/extensions/TeX/boldsymbol.js"))}
  117. }
  118. }
  119. } else {NCLASS.push(CLASS[i])}
  120. }
  121. if (NCLASS.length) {mml["class"] = NCLASS.join(" ")} else {delete mml["class"]}
  122. },
  123. //
  124. // Add the attributes to the mml node
  125. //
  126. AddAttributes: function (mml,node) {
  127. mml.attr = {}; mml.attrNames = [];
  128. for (var i = 0, m = node.attributes.length; i < m; i++) {
  129. var name = node.attributes[i].name;
  130. if (name == "xlink:href") {name = "href"}
  131. if (name.match(/:/)) continue;
  132. if (name.match(/^_moz-math-((column|row)(align|line)|font-style)$/)) continue;
  133. var value = node.attributes[i].value;
  134. value = this.filterAttribute(name,value);
  135. var defaults = (mml.type === "mstyle" ? MML.math.prototype.defaults : mml.defaults);
  136. if (value != null) {
  137. if (value.toLowerCase() === "true") {value = true}
  138. else if (value.toLowerCase() === "false") {value = false}
  139. if (defaults[name] != null || MML.copyAttributes[name])
  140. {mml[name] = value} else {mml.attr[name] = value}
  141. mml.attrNames.push(name);
  142. }
  143. }
  144. },
  145. filterAttribute: function (name,value) {return value}, // safe mode overrides this
  146. //
  147. // Create the children for the mml node
  148. //
  149. AddChildren: function (mml,node) {
  150. for (var i = 0, m = node.childNodes.length; i < m; i++) {
  151. var child = node.childNodes[i];
  152. if (child.nodeName === "#comment") continue;
  153. if (child.nodeName === "#text") {
  154. if ((mml.isToken || mml.isChars) && !mml.mmlSelfClosing) {
  155. var text = child.nodeValue;
  156. if (mml.isToken) {
  157. text = text.replace(/&([a-z][a-z0-9]*);/ig,this.replaceEntity);
  158. text = this.trimSpace(text);
  159. }
  160. mml.Append(MML.chars(text));
  161. } else if (child.nodeValue.match(/\S/)) {
  162. MATHML.Error(["UnexpectedTextNode",
  163. "Unexpected text node: %1","'"+child.nodeValue+"'"]);
  164. }
  165. } else if (mml.type === "annotation-xml") {
  166. mml.Append(MML.xml(child));
  167. } else {
  168. var cmml = this.MakeMML(child); mml.Append(cmml);
  169. if (cmml.mmlSelfClosing && cmml.data.length)
  170. {mml.Append.apply(mml,cmml.data); cmml.data = []}
  171. }
  172. }
  173. if (mml.type === "mrow" && mml.data.length >= 2) {
  174. var first = mml.data[0], last = mml.data[mml.data.length-1];
  175. if (first.type === "mo" && first.Get("fence") &&
  176. last.type === "mo" && last.Get("fence")) {
  177. if (first.data[0]) {mml.open = first.data.join("")}
  178. if (last.data[0]) {mml.close = last.data.join("")}
  179. }
  180. }
  181. },
  182. //
  183. // Clean Up the <math> source to prepare for XML parsing
  184. //
  185. preProcessMath: function (math) {
  186. if (math.match(/^<[a-z]+:/i) && !math.match(/^<[^<>]* xmlns:/)) {
  187. math = math.replace(/^<([a-z]+)(:math)/i,'<$1$2 xmlns:$1="http://www.w3.org/1998/Math/MathML"')
  188. }
  189. // HTML5 removes xmlns: namespaces, so put them back for XML
  190. var match = math.match(/^(<math( ('.*?'|".*?"|[^>])+)>)/i);
  191. if (match && match[2].match(/ (?!xmlns=)[a-z]+=\"http:/i)) {
  192. math = match[1].replace(/ (?!xmlns=)([a-z]+=(['"])http:.*?\2)/ig," xmlns:$1 $1") +
  193. math.substr(match[0].length);
  194. }
  195. if (math.match(/^<math/i) && !math.match(/^<[^<>]* xmlns=/)) {
  196. // append the MathML namespace
  197. math = math.replace(/^<(math)/i,'<math xmlns="http://www.w3.org/1998/Math/MathML"')
  198. }
  199. math = math.replace(/^\s*(?:\/\/)?<!(--)?\[CDATA\[((.|\n)*)(\/\/)?\]\]\1>\s*$/,"$2");
  200. return math.replace(/&([a-z][a-z0-9]*);/ig,this.replaceEntity);
  201. },
  202. //
  203. // Remove attribute whitespace
  204. //
  205. trimSpace: function (string) {
  206. return string.replace(/[\t\n\r]/g," ") // whitespace to spaces
  207. .replace(/^ +/,"") // initial whitespace
  208. .replace(/ +$/,"") // trailing whitespace
  209. .replace(/ +/g," "); // internal multiple whitespace
  210. },
  211. //
  212. // Replace a named entity by its value
  213. // (look up from external files if necessary)
  214. //
  215. replaceEntity: function (match,entity) {
  216. if (entity.match(/^(lt|amp|quot)$/)) {return match} // these mess up attribute parsing
  217. if (MATHML.Parse.Entity[entity]) {return MATHML.Parse.Entity[entity]}
  218. var file = entity.charAt(0).toLowerCase();
  219. var font = entity.match(/^[a-zA-Z](fr|scr|opf)$/);
  220. if (font) {file = font[1]}
  221. if (!MATHML.Parse.loaded[file]) {
  222. MATHML.Parse.loaded[file] = true;
  223. MathJax.Hub.RestartAfter(MathJax.Ajax.Require(MATHML.entityDir+"/"+file+".js"));
  224. }
  225. return match;
  226. }
  227. }, {
  228. loaded: [] // the entity files that are loaded
  229. });
  230. /************************************************************************/
  231. MATHML.Augment({
  232. sourceMenuTitle: /*_(MathMenu)*/ ["OriginalMathML","Original MathML"],
  233. prefilterHooks: MathJax.Callback.Hooks(true), // hooks to run on MathML string before processing MathML
  234. DOMfilterHooks: MathJax.Callback.Hooks(true), // hooks to run on MathML DOM before processing
  235. postfilterHooks: MathJax.Callback.Hooks(true), // hooks to run on internal jax format after processing MathML
  236. Translate: function (script) {
  237. if (!this.ParseXML) {this.ParseXML = this.createParser()}
  238. var mml, math, data = {script:script};
  239. if (script.firstChild &&
  240. script.firstChild.nodeName.toLowerCase().replace(/^[a-z]+:/,"") === "math") {
  241. data.math = script.firstChild;
  242. } else {
  243. math = MathJax.HTML.getScript(script);
  244. if (BROWSER.isMSIE) {math = math.replace(/(&nbsp;)+$/,"")}
  245. data.math = math;
  246. }
  247. var callback = this.prefilterHooks.Execute(data); if (callback) return callback;
  248. math = data.math;
  249. try {
  250. mml = MATHML.Parse(math,script).mml;
  251. } catch(err) {
  252. if (!err.mathmlError) {throw err}
  253. mml = this.formatError(err,math,script);
  254. }
  255. data.math = MML(mml);
  256. return this.postfilterHooks.Execute(data) || data.math;
  257. },
  258. prefilterMath: function (math,script) {return math},
  259. prefilterMathML: function (math,script) {return math},
  260. formatError: function (err,math,script) {
  261. var message = err.message.replace(/\n.*/,"");
  262. MathJax.Hub.signal.Post(["MathML Jax - parse error",message,math,script]);
  263. return MML.Error(message);
  264. },
  265. Error: function (message) {
  266. //
  267. // Translate message if it is ["id","message",args]
  268. //
  269. if (message instanceof Array) {message = _.apply(_,message)}
  270. throw MathJax.Hub.Insert(Error(message),{mathmlError: true});
  271. },
  272. //
  273. // Parsers for various forms (DOMParser, Windows ActiveX object, other)
  274. //
  275. parseDOM: function (string) {return this.parser.parseFromString(string,"text/xml")},
  276. parseMS: function (string) {return (this.parser.loadXML(string) ? this.parser : null)},
  277. parseDIV: function (string) {
  278. this.div.innerHTML =
  279. "<div>"+string.replace(/<([a-z]+)([^>]*)\/>/g,"<$1$2></$1>")+"</div>";
  280. var doc = this.div.firstChild;
  281. this.div.innerHTML = "";
  282. return doc;
  283. },
  284. parseError: function (string) {return null},
  285. createMSParser: function() {
  286. var parser = null;
  287. var xml = ["MSXML2.DOMDocument.6.0","MSXML2.DOMDocument.5.0",
  288. "MSXML2.DOMDocument.4.0","MSXML2.DOMDocument.3.0",
  289. "MSXML2.DOMDocument.2.0","Microsoft.XMLDOM"];
  290. for (var i = 0, m = xml.length; i < m && !parser; i++) {
  291. try {
  292. parser = new ActiveXObject(xml[i])
  293. } catch (err) {}
  294. }
  295. return parser;
  296. },
  297. //
  298. // Create the parser using a DOMParser, or other fallback method
  299. //
  300. createParser: function () {
  301. if (window.DOMParser) {
  302. this.parser = new DOMParser();
  303. return(this.parseDOM);
  304. } else if (window.ActiveXObject) {
  305. this.parser = this.createMSParser();
  306. if (!this.parser) {
  307. MathJax.Localization.Try(this.parserCreationError);
  308. return(this.parseError);
  309. }
  310. this.parser.async = false;
  311. return(this.parseMS);
  312. }
  313. this.div = MathJax.Hub.Insert(document.createElement("div"),{
  314. style:{visibility:"hidden", overflow:"hidden", height:"1px",
  315. position:"absolute", top:0}
  316. });
  317. if (!document.body.firstChild) {document.body.appendChild(this.div)}
  318. else {document.body.insertBefore(this.div,document.body.firstChild)}
  319. return(this.parseDIV);
  320. },
  321. parserCreationError: function () {
  322. alert(_("CantCreateXMLParser",
  323. "MathJax can't create an XML parser for MathML. Check that\n"+
  324. "the 'Script ActiveX controls marked safe for scripting' security\n"+
  325. "setting is enabled (use the Internet Options item in the Tools\n"+
  326. "menu, and select the Security panel, then press the Custom Level\n"+
  327. "button to check this).\n\n"+
  328. "MathML equations will not be able to be processed by MathJax."));
  329. },
  330. //
  331. // Initialize the parser object (whichever type is used)
  332. //
  333. Startup: function () {
  334. MML = MathJax.ElementJax.mml;
  335. MML.mspace.Augment({mmlSelfClosing: true});
  336. MML.none.Augment({mmlSelfClosing: true});
  337. MML.mprescripts.Augment({mmlSelfClosing:true});
  338. }
  339. });
  340. //
  341. // Add the default pre-filter (for backward compatibility)
  342. //
  343. MATHML.prefilterHooks.Add(function (data) {
  344. data.math = (typeof(data.math) === "string" ?
  345. MATHML.prefilterMath(data.math,data.script) :
  346. MATHML.prefilterMathML(data.math,data.script));
  347. });
  348. MATHML.Parse.Entity = {
  349. ApplyFunction: '\u2061',
  350. Backslash: '\u2216',
  351. Because: '\u2235',
  352. Breve: '\u02D8',
  353. Cap: '\u22D2',
  354. CenterDot: '\u00B7',
  355. CircleDot: '\u2299',
  356. CircleMinus: '\u2296',
  357. CirclePlus: '\u2295',
  358. CircleTimes: '\u2297',
  359. Congruent: '\u2261',
  360. ContourIntegral: '\u222E',
  361. Coproduct: '\u2210',
  362. Cross: '\u2A2F',
  363. Cup: '\u22D3',
  364. CupCap: '\u224D',
  365. Dagger: '\u2021',
  366. Del: '\u2207',
  367. Delta: '\u0394',
  368. Diamond: '\u22C4',
  369. DifferentialD: '\u2146',
  370. DotEqual: '\u2250',
  371. DoubleDot: '\u00A8',
  372. DoubleRightTee: '\u22A8',
  373. DoubleVerticalBar: '\u2225',
  374. DownArrow: '\u2193',
  375. DownLeftVector: '\u21BD',
  376. DownRightVector: '\u21C1',
  377. DownTee: '\u22A4',
  378. Downarrow: '\u21D3',
  379. Element: '\u2208',
  380. EqualTilde: '\u2242',
  381. Equilibrium: '\u21CC',
  382. Exists: '\u2203',
  383. ExponentialE: '\u2147',
  384. FilledVerySmallSquare: '\u25AA',
  385. ForAll: '\u2200',
  386. Gamma: '\u0393',
  387. Gg: '\u22D9',
  388. GreaterEqual: '\u2265',
  389. GreaterEqualLess: '\u22DB',
  390. GreaterFullEqual: '\u2267',
  391. GreaterLess: '\u2277',
  392. GreaterSlantEqual: '\u2A7E',
  393. GreaterTilde: '\u2273',
  394. Hacek: '\u02C7',
  395. Hat: '\u005E',
  396. HumpDownHump: '\u224E',
  397. HumpEqual: '\u224F',
  398. Im: '\u2111',
  399. ImaginaryI: '\u2148',
  400. Integral: '\u222B',
  401. Intersection: '\u22C2',
  402. InvisibleComma: '\u2063',
  403. InvisibleTimes: '\u2062',
  404. Lambda: '\u039B',
  405. Larr: '\u219E',
  406. LeftAngleBracket: '\u27E8',
  407. LeftArrow: '\u2190',
  408. LeftArrowRightArrow: '\u21C6',
  409. LeftCeiling: '\u2308',
  410. LeftDownVector: '\u21C3',
  411. LeftFloor: '\u230A',
  412. LeftRightArrow: '\u2194',
  413. LeftTee: '\u22A3',
  414. LeftTriangle: '\u22B2',
  415. LeftTriangleEqual: '\u22B4',
  416. LeftUpVector: '\u21BF',
  417. LeftVector: '\u21BC',
  418. Leftarrow: '\u21D0',
  419. Leftrightarrow: '\u21D4',
  420. LessEqualGreater: '\u22DA',
  421. LessFullEqual: '\u2266',
  422. LessGreater: '\u2276',
  423. LessSlantEqual: '\u2A7D',
  424. LessTilde: '\u2272',
  425. Ll: '\u22D8',
  426. Lleftarrow: '\u21DA',
  427. LongLeftArrow: '\u27F5',
  428. LongLeftRightArrow: '\u27F7',
  429. LongRightArrow: '\u27F6',
  430. Longleftarrow: '\u27F8',
  431. Longleftrightarrow: '\u27FA',
  432. Longrightarrow: '\u27F9',
  433. Lsh: '\u21B0',
  434. MinusPlus: '\u2213',
  435. NestedGreaterGreater: '\u226B',
  436. NestedLessLess: '\u226A',
  437. NotDoubleVerticalBar: '\u2226',
  438. NotElement: '\u2209',
  439. NotEqual: '\u2260',
  440. NotExists: '\u2204',
  441. NotGreater: '\u226F',
  442. NotGreaterEqual: '\u2271',
  443. NotLeftTriangle: '\u22EA',
  444. NotLeftTriangleEqual: '\u22EC',
  445. NotLess: '\u226E',
  446. NotLessEqual: '\u2270',
  447. NotPrecedes: '\u2280',
  448. NotPrecedesSlantEqual: '\u22E0',
  449. NotRightTriangle: '\u22EB',
  450. NotRightTriangleEqual: '\u22ED',
  451. NotSubsetEqual: '\u2288',
  452. NotSucceeds: '\u2281',
  453. NotSucceedsSlantEqual: '\u22E1',
  454. NotSupersetEqual: '\u2289',
  455. NotTilde: '\u2241',
  456. NotVerticalBar: '\u2224',
  457. Omega: '\u03A9',
  458. OverBar: '\u203E',
  459. OverBrace: '\u23DE',
  460. PartialD: '\u2202',
  461. Phi: '\u03A6',
  462. Pi: '\u03A0',
  463. PlusMinus: '\u00B1',
  464. Precedes: '\u227A',
  465. PrecedesEqual: '\u2AAF',
  466. PrecedesSlantEqual: '\u227C',
  467. PrecedesTilde: '\u227E',
  468. Product: '\u220F',
  469. Proportional: '\u221D',
  470. Psi: '\u03A8',
  471. Rarr: '\u21A0',
  472. Re: '\u211C',
  473. ReverseEquilibrium: '\u21CB',
  474. RightAngleBracket: '\u27E9',
  475. RightArrow: '\u2192',
  476. RightArrowLeftArrow: '\u21C4',
  477. RightCeiling: '\u2309',
  478. RightDownVector: '\u21C2',
  479. RightFloor: '\u230B',
  480. RightTee: '\u22A2',
  481. RightTeeArrow: '\u21A6',
  482. RightTriangle: '\u22B3',
  483. RightTriangleEqual: '\u22B5',
  484. RightUpVector: '\u21BE',
  485. RightVector: '\u21C0',
  486. Rightarrow: '\u21D2',
  487. Rrightarrow: '\u21DB',
  488. Rsh: '\u21B1',
  489. Sigma: '\u03A3',
  490. SmallCircle: '\u2218',
  491. Sqrt: '\u221A',
  492. Square: '\u25A1',
  493. SquareIntersection: '\u2293',
  494. SquareSubset: '\u228F',
  495. SquareSubsetEqual: '\u2291',
  496. SquareSuperset: '\u2290',
  497. SquareSupersetEqual: '\u2292',
  498. SquareUnion: '\u2294',
  499. Star: '\u22C6',
  500. Subset: '\u22D0',
  501. SubsetEqual: '\u2286',
  502. Succeeds: '\u227B',
  503. SucceedsEqual: '\u2AB0',
  504. SucceedsSlantEqual: '\u227D',
  505. SucceedsTilde: '\u227F',
  506. SuchThat: '\u220B',
  507. Sum: '\u2211',
  508. Superset: '\u2283',
  509. SupersetEqual: '\u2287',
  510. Supset: '\u22D1',
  511. Therefore: '\u2234',
  512. Theta: '\u0398',
  513. Tilde: '\u223C',
  514. TildeEqual: '\u2243',
  515. TildeFullEqual: '\u2245',
  516. TildeTilde: '\u2248',
  517. UnderBar: '\u005F',
  518. UnderBrace: '\u23DF',
  519. Union: '\u22C3',
  520. UnionPlus: '\u228E',
  521. UpArrow: '\u2191',
  522. UpDownArrow: '\u2195',
  523. UpTee: '\u22A5',
  524. Uparrow: '\u21D1',
  525. Updownarrow: '\u21D5',
  526. Upsilon: '\u03A5',
  527. Vdash: '\u22A9',
  528. Vee: '\u22C1',
  529. VerticalBar: '\u2223',
  530. VerticalTilde: '\u2240',
  531. Vvdash: '\u22AA',
  532. Wedge: '\u22C0',
  533. Xi: '\u039E',
  534. acute: '\u00B4',
  535. aleph: '\u2135',
  536. alpha: '\u03B1',
  537. amalg: '\u2A3F',
  538. and: '\u2227',
  539. ang: '\u2220',
  540. angmsd: '\u2221',
  541. angsph: '\u2222',
  542. ape: '\u224A',
  543. backprime: '\u2035',
  544. backsim: '\u223D',
  545. backsimeq: '\u22CD',
  546. beta: '\u03B2',
  547. beth: '\u2136',
  548. between: '\u226C',
  549. bigcirc: '\u25EF',
  550. bigodot: '\u2A00',
  551. bigoplus: '\u2A01',
  552. bigotimes: '\u2A02',
  553. bigsqcup: '\u2A06',
  554. bigstar: '\u2605',
  555. bigtriangledown: '\u25BD',
  556. bigtriangleup: '\u25B3',
  557. biguplus: '\u2A04',
  558. blacklozenge: '\u29EB',
  559. blacktriangle: '\u25B4',
  560. blacktriangledown: '\u25BE',
  561. blacktriangleleft: '\u25C2',
  562. bowtie: '\u22C8',
  563. boxdl: '\u2510',
  564. boxdr: '\u250C',
  565. boxminus: '\u229F',
  566. boxplus: '\u229E',
  567. boxtimes: '\u22A0',
  568. boxul: '\u2518',
  569. boxur: '\u2514',
  570. bsol: '\u005C',
  571. bull: '\u2022',
  572. cap: '\u2229',
  573. check: '\u2713',
  574. chi: '\u03C7',
  575. circ: '\u02C6',
  576. circeq: '\u2257',
  577. circlearrowleft: '\u21BA',
  578. circlearrowright: '\u21BB',
  579. circledR: '\u00AE',
  580. circledS: '\u24C8',
  581. circledast: '\u229B',
  582. circledcirc: '\u229A',
  583. circleddash: '\u229D',
  584. clubs: '\u2663',
  585. colon: '\u003A',
  586. comp: '\u2201',
  587. ctdot: '\u22EF',
  588. cuepr: '\u22DE',
  589. cuesc: '\u22DF',
  590. cularr: '\u21B6',
  591. cup: '\u222A',
  592. curarr: '\u21B7',
  593. curlyvee: '\u22CE',
  594. curlywedge: '\u22CF',
  595. dagger: '\u2020',
  596. daleth: '\u2138',
  597. ddarr: '\u21CA',
  598. deg: '\u00B0',
  599. delta: '\u03B4',
  600. digamma: '\u03DD',
  601. div: '\u00F7',
  602. divideontimes: '\u22C7',
  603. dot: '\u02D9',
  604. doteqdot: '\u2251',
  605. dotplus: '\u2214',
  606. dotsquare: '\u22A1',
  607. dtdot: '\u22F1',
  608. ecir: '\u2256',
  609. efDot: '\u2252',
  610. egs: '\u2A96',
  611. ell: '\u2113',
  612. els: '\u2A95',
  613. empty: '\u2205',
  614. epsi: '\u03B5',
  615. epsiv: '\u03F5',
  616. erDot: '\u2253',
  617. eta: '\u03B7',
  618. eth: '\u00F0',
  619. flat: '\u266D',
  620. fork: '\u22D4',
  621. frown: '\u2322',
  622. gEl: '\u2A8C',
  623. gamma: '\u03B3',
  624. gap: '\u2A86',
  625. gimel: '\u2137',
  626. gnE: '\u2269',
  627. gnap: '\u2A8A',
  628. gne: '\u2A88',
  629. gnsim: '\u22E7',
  630. gt: '\u003E',
  631. gtdot: '\u22D7',
  632. harrw: '\u21AD',
  633. hbar: '\u210F',
  634. hellip: '\u2026',
  635. hookleftarrow: '\u21A9',
  636. hookrightarrow: '\u21AA',
  637. imath: '\u0131',
  638. infin: '\u221E',
  639. intcal: '\u22BA',
  640. iota: '\u03B9',
  641. jmath: '\u0237',
  642. kappa: '\u03BA',
  643. kappav: '\u03F0',
  644. lEg: '\u2A8B',
  645. lambda: '\u03BB',
  646. lap: '\u2A85',
  647. larrlp: '\u21AB',
  648. larrtl: '\u21A2',
  649. lbrace: '\u007B',
  650. lbrack: '\u005B',
  651. le: '\u2264',
  652. leftleftarrows: '\u21C7',
  653. leftthreetimes: '\u22CB',
  654. lessdot: '\u22D6',
  655. lmoust: '\u23B0',
  656. lnE: '\u2268',
  657. lnap: '\u2A89',
  658. lne: '\u2A87',
  659. lnsim: '\u22E6',
  660. longmapsto: '\u27FC',
  661. looparrowright: '\u21AC',
  662. lowast: '\u2217',
  663. loz: '\u25CA',
  664. lt: '\u003C',
  665. ltimes: '\u22C9',
  666. ltri: '\u25C3',
  667. macr: '\u00AF',
  668. malt: '\u2720',
  669. mho: '\u2127',
  670. mu: '\u03BC',
  671. multimap: '\u22B8',
  672. nLeftarrow: '\u21CD',
  673. nLeftrightarrow: '\u21CE',
  674. nRightarrow: '\u21CF',
  675. nVDash: '\u22AF',
  676. nVdash: '\u22AE',
  677. natur: '\u266E',
  678. nearr: '\u2197',
  679. nharr: '\u21AE',
  680. nlarr: '\u219A',
  681. not: '\u00AC',
  682. nrarr: '\u219B',
  683. nu: '\u03BD',
  684. nvDash: '\u22AD',
  685. nvdash: '\u22AC',
  686. nwarr: '\u2196',
  687. omega: '\u03C9',
  688. omicron: '\u03BF',
  689. or: '\u2228',
  690. osol: '\u2298',
  691. period: '\u002E',
  692. phi: '\u03C6',
  693. phiv: '\u03D5',
  694. pi: '\u03C0',
  695. piv: '\u03D6',
  696. prap: '\u2AB7',
  697. precnapprox: '\u2AB9',
  698. precneqq: '\u2AB5',
  699. precnsim: '\u22E8',
  700. prime: '\u2032',
  701. psi: '\u03C8',
  702. rarrtl: '\u21A3',
  703. rbrace: '\u007D',
  704. rbrack: '\u005D',
  705. rho: '\u03C1',
  706. rhov: '\u03F1',
  707. rightrightarrows: '\u21C9',
  708. rightthreetimes: '\u22CC',
  709. ring: '\u02DA',
  710. rmoust: '\u23B1',
  711. rtimes: '\u22CA',
  712. rtri: '\u25B9',
  713. scap: '\u2AB8',
  714. scnE: '\u2AB6',
  715. scnap: '\u2ABA',
  716. scnsim: '\u22E9',
  717. sdot: '\u22C5',
  718. searr: '\u2198',
  719. sect: '\u00A7',
  720. sharp: '\u266F',
  721. sigma: '\u03C3',
  722. sigmav: '\u03C2',
  723. simne: '\u2246',
  724. smile: '\u2323',
  725. spades: '\u2660',
  726. sub: '\u2282',
  727. subE: '\u2AC5',
  728. subnE: '\u2ACB',
  729. subne: '\u228A',
  730. supE: '\u2AC6',
  731. supnE: '\u2ACC',
  732. supne: '\u228B',
  733. swarr: '\u2199',
  734. tau: '\u03C4',
  735. theta: '\u03B8',
  736. thetav: '\u03D1',
  737. tilde: '\u02DC',
  738. times: '\u00D7',
  739. triangle: '\u25B5',
  740. triangleq: '\u225C',
  741. upsi: '\u03C5',
  742. upuparrows: '\u21C8',
  743. veebar: '\u22BB',
  744. vellip: '\u22EE',
  745. weierp: '\u2118',
  746. xi: '\u03BE',
  747. yen: '\u00A5',
  748. zeta: '\u03B6',
  749. zigrarr: '\u21DD'
  750. };
  751. MATHML.loadComplete("jax.js");
  752. })(MathJax.InputJax.MathML,MathJax.Hub.Browser);