/************************************************************* * * MathJax/fonts/HTML-CSS/TeX/png/AMS/Regular/MathOperators.js * * Defines the image size data needed for the HTML-CSS OutputJax * to display mathematics using fallback images when the fonts * are not availble to the client browser. * * --------------------------------------------------------------------- * * Copyright (c) 2009-2010 Design Science, Inc. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. * */ MathJax.OutputJax["HTML-CSS"].defineImageData({ "MathJax_AMS": { 0x2201: [ // COMPLEMENT [3,6,0],[4,7,0],[5,9,0],[6,11,1],[7,13,1],[8,16,1],[9,18,1],[11,21,1], [13,25,1],[15,29,1],[18,35,1],[21,41,1],[25,49,2],[30,58,2] ], 0x2204: [ // THERE DOES NOT EXIST [4,8,2],[4,10,2],[5,11,2],[6,12,2],[7,15,3],[9,18,3],[10,22,4],[12,24,4], [14,29,5],[17,35,6],[20,41,7],[24,48,8],[28,57,9],[33,68,11] ], 0x2205: [ // EMPTY SET [5,4,0],[6,5,0],[8,6,0],[9,7,0],[11,8,0],[12,10,0],[14,12,0],[17,15,1], [20,18,1],[24,21,1],[29,24,1],[34,29,1],[40,34,1],[48,40,1] ], 0x220D: [ // SMALL CONTAINS AS MEMBER [3,4,0],[4,5,1],[5,6,1],[6,7,1],[7,8,1],[8,9,1],[9,10,1],[11,12,1], [13,14,1],[16,16,1],[18,19,1],[22,22,1],[26,26,1],[31,30,1] ], 0x2212: [ // MINUS SIGN [3,1,-1],[4,1,-2],[5,1,-2],[5,1,-2],[6,1,-3],[7,1,-4],[9,2,-4],[10,2,-5], [12,2,-6],[14,2,-7],[17,2,-9],[20,3,-10],[23,3,-12],[28,3,-15] ], 0x2214: [ // DOT PLUS [5,7,1],[6,8,1],[8,9,1],[9,11,2],[10,13,2],[12,15,2],[14,17,2],[17,21,3], [20,25,3],[24,30,4],[28,34,4],[34,41,5],[40,49,6],[48,58,7] ], 0x2216: [ // SET MINUS [5,4,1],[6,5,1],[7,6,1],[9,7,1],[10,7,1],[12,9,1],[14,10,1],[16,11,1], [19,13,1],[23,16,1],[27,18,1],[32,22,2],[38,26,2],[46,31,2] ], 0x221D: [ // PROPORTIONAL TO [5,4,0],[7,4,0],[7,5,0],[9,6,0],[11,7,0],[13,8,0],[15,9,0],[17,11,0], [21,14,0],[24,16,0],[29,18,-1],[34,21,-1],[40,26,-1],[48,31,-1] ], 0x2220: [ // ANGLE [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,10,0],[12,12,0],[13,14,0],[16,17,0], [19,20,0],[22,23,0],[27,28,0],[31,33,0],[37,39,0],[44,46,0] ], 0x2221: [ // MEASURED ANGLE [5,6,1],[6,7,1],[7,8,1],[8,10,1],[10,11,1],[12,13,1],[14,15,1],[16,18,1], [19,21,1],[23,25,1],[27,29,1],[32,35,1],[38,42,2],[45,49,2] ], 0x2222: [ // SPHERICAL ANGLE [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,11,1],[13,12,1],[16,15,2], [19,18,2],[22,21,2],[27,24,2],[31,29,3],[37,34,3],[44,41,4] ], 0x2223: [ // DIVIDES [1,4,1],[1,5,1],[2,6,1],[2,7,1],[2,7,1],[2,9,1],[3,10,1],[4,11,1], [4,13,1],[5,16,1],[6,18,1],[7,22,2],[8,26,2],[9,31,2] ], 0x2224: [ // DOES NOT DIVIDE [3,8,2],[4,10,3],[4,11,3],[5,12,3],[5,15,4],[7,18,5],[7,20,5],[9,24,6], [10,28,7],[11,34,9],[14,40,10],[16,47,12],[19,56,14],[22,67,17] ], 0x2225: [ // PARALLEL TO [3,4,1],[3,5,1],[4,6,1],[4,7,1],[5,7,1],[6,9,1],[7,10,1],[8,11,1], [10,13,1],[11,16,1],[13,18,1],[16,23,2],[19,26,2],[22,31,2] ], 0x2226: [ // NOT PARALLEL TO [5,8,2],[6,10,3],[7,11,3],[8,12,3],[9,15,4],[10,18,5],[11,20,5],[14,24,6], [16,28,7],[18,34,9],[22,40,10],[26,47,12],[31,56,14],[36,67,17] ], 0x2234: [ // THEREFORE [5,5,1],[6,5,1],[7,6,1],[8,7,1],[9,9,2],[11,10,2],[13,12,2],[15,13,2], [18,17,3],[22,19,3],[26,23,4],[30,26,4],[36,32,5],[43,37,6] ], 0x2235: [ // BECAUSE [5,5,1],[6,5,1],[7,6,1],[8,7,1],[9,9,2],[11,10,2],[13,12,2],[15,13,2], [18,17,3],[22,19,3],[26,23,4],[30,26,4],[36,32,5],[43,37,6] ], 0x223C: [ // TILDE OPERATOR [5,2,-1],[6,2,-1],[8,3,-1],[9,4,-1],[10,5,-1],[13,5,-2],[15,6,-2],[17,6,-3], [20,8,-3],[24,9,-4],[29,10,-5],[34,11,-6],[40,14,-7],[48,17,-8] ], 0x223D: [ // REVERSED TILDE [5,2,-1],[6,3,-1],[8,3,-1],[9,4,-1],[10,4,-2],[12,5,-2],[15,6,-2],[17,6,-3], [20,8,-3],[24,9,-4],[29,10,-5],[34,12,-6],[40,14,-7],[48,17,-8] ], 0x2241: [ // stix-not, vert, similar [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[13,8,0],[15,10,0],[17,11,0], [20,13,0],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2] ], 0x2242: [ // MINUS TILDE [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[15,9,0],[17,11,0], [20,13,0],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2] ], 0x2246: [ // APPROXIMATELY BUT NOT ACTUALLY EQUAL TO [5,7,2],[6,8,2],[8,9,2],[9,10,2],[10,12,3],[13,14,3],[15,17,4],[17,20,4], [20,23,5],[24,28,6],[29,33,7],[34,39,8],[40,46,9],[48,54,11] ], 0x2248: [ // ALMOST EQUAL TO [5,4,0],[6,4,0],[8,5,0],[9,6,0],[11,7,0],[13,8,0],[15,10,0],[17,11,-1], [21,13,-1],[24,15,-1],[29,18,-1],[34,21,-2],[40,25,-2],[48,29,-3] ], 0x224A: [ // ALMOST EQUAL OR EQUAL TO [5,5,1],[7,6,1],[8,7,1],[9,8,1],[11,9,1],[13,11,1],[15,13,1],[17,15,1], [21,18,2],[24,22,2],[29,25,2],[34,29,2],[41,36,3],[48,42,3] ], 0x224E: [ // GEOMETRICALLY EQUIVALENT TO [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[14,10,0],[17,12,0], [20,14,0],[24,17,0],[29,20,0],[34,23,0],[40,28,0],[48,33,0] ], 0x224F: [ // DIFFERENCE BETWEEN [5,3,-1],[6,3,-1],[8,4,-1],[9,5,-1],[10,5,-2],[12,6,-2],[14,8,-2],[17,9,-3], [20,11,-3],[24,13,-4],[29,15,-5],[34,17,-6],[40,21,-7],[48,25,-8] ], 0x2251: [ // GEOMETRICALLY EQUAL TO [5,6,1],[6,7,1],[8,8,2],[9,10,2],[10,11,2],[12,13,2],[15,15,3],[17,18,3], [20,20,3],[24,25,4],[29,29,5],[34,34,5],[40,40,6],[48,49,8] ], 0x2252: [ // APPROXIMATELY EQUAL TO OR THE IMAGE OF [6,5,1],[7,6,1],[8,7,1],[9,10,2],[11,11,2],[13,12,2],[15,14,2],[18,17,3], [22,20,3],[25,24,4],[30,28,4],[36,33,5],[43,40,6],[51,47,7] ], 0x2253: [ // IMAGE OF OR APPROXIMATELY EQUAL TO [6,5,1],[7,6,1],[8,7,1],[9,10,2],[11,11,2],[13,12,2],[15,14,2],[18,17,3], [22,20,3],[25,24,4],[30,28,4],[36,33,5],[43,40,6],[51,47,7] ], 0x2256: [ // RING IN EQUAL TO [5,2,-1],[6,2,-1],[8,3,-1],[9,4,-1],[10,3,-2],[12,4,-2],[15,5,-2],[17,6,-3], [20,8,-3],[24,9,-4],[29,10,-5],[34,11,-6],[40,14,-7],[48,17,-8] ], 0x2257: [ // RING EQUAL TO [5,4,-1],[6,5,-1],[8,6,-1],[9,8,-1],[10,8,-2],[12,10,-2],[15,12,-2],[17,14,-3], [20,17,-3],[24,20,-4],[29,24,-5],[34,28,-6],[40,33,-7],[48,40,-8] ], 0x225C: [ // DELTA EQUAL TO [5,5,-1],[6,7,-1],[8,8,-1],[9,9,-1],[10,10,-2],[12,13,-2],[15,15,-2],[17,17,-3], [20,21,-3],[24,25,-4],[29,29,-5],[34,34,-6],[40,41,-7],[48,49,-8] ], 0x2266: [ // LESS-THAN OVER EQUAL TO [5,8,2],[6,9,2],[8,10,2],[9,11,2],[10,14,3],[12,16,3],[15,19,4],[17,22,4], [20,26,5],[24,31,6],[28,37,7],[34,44,9],[40,52,10],[48,62,12] ], 0x2267: [ // GREATER-THAN OVER EQUAL TO [5,8,2],[6,9,2],[7,10,2],[9,11,2],[10,14,3],[12,16,3],[14,19,4],[17,22,4], [20,26,5],[23,31,6],[28,37,7],[33,44,9],[39,52,10],[46,62,12] ], 0x2268: [ // stix-less, vert, not double equals [5,8,2],[6,10,3],[7,11,3],[9,13,4],[10,15,4],[12,18,5],[14,21,6],[17,25,7], [20,29,8],[23,35,10],[28,42,12],[33,49,14],[39,58,16],[46,69,19] ], 0x2269: [ // stix-gt, vert, not double equals [5,8,2],[6,10,3],[7,11,3],[9,13,4],[10,15,4],[12,18,5],[14,21,6],[17,25,7], [20,29,8],[23,35,10],[28,42,12],[33,49,14],[39,58,16],[46,69,19] ], 0x226C: [ // BETWEEN [3,8,2],[4,10,3],[5,11,3],[5,12,3],[6,15,4],[8,18,5],[9,20,5],[10,24,6], [12,28,7],[14,34,9],[17,40,10],[20,47,12],[24,56,14],[28,67,17] ], 0x226E: [ // stix-not, vert, less-than [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] ], 0x226F: [ // stix-not, vert, greater-than [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] ], 0x2270: [ // stix-not, vert, less-than-or-equal [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], [20,32,9],[24,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] ], 0x2271: [ // stix-not, vert, greater-than-or-equal [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] ], 0x2272: [ // stix-less-than or (contour) similar [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15] ], 0x2273: [ // stix-greater-than or (contour) similar [5,8,2],[6,9,2],[7,10,2],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15] ], 0x2276: [ // LESS-THAN OR GREATER-THAN [6,7,2],[7,9,3],[8,10,3],[9,11,3],[11,14,4],[13,17,5],[15,19,5],[18,22,6], [21,26,7],[25,32,9],[29,37,10],[35,44,12],[41,52,14],[49,62,17] ], 0x2277: [ // GREATER-THAN OR LESS-THAN [5,7,2],[6,9,3],[7,10,3],[9,11,3],[10,14,4],[12,17,5],[14,19,5],[17,22,6], [20,26,7],[23,32,9],[28,37,10],[33,44,12],[39,52,14],[46,62,17] ], 0x227C: [ // PRECEDES OR EQUAL TO [5,6,2],[6,7,2],[7,8,2],[9,9,2],[10,12,3],[12,13,3],[14,15,3],[16,18,4], [19,22,5],[23,25,5],[27,29,6],[32,34,7],[38,42,9],[46,49,10] ], 0x227D: [ // SUCCEEDS OR EQUAL TO [5,6,2],[6,7,2],[7,8,2],[9,9,2],[10,11,3],[12,13,3],[14,16,4],[17,18,4], [20,21,5],[23,26,6],[28,30,7],[33,35,8],[39,42,9],[46,50,11] ], 0x227E: [ // PRECEDES OR EQUIVALENT TO [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,64,15] ], 0x227F: [ // SUCCEEDS OR EQUIVALENT TO [5,8,2],[6,9,2],[7,11,3],[9,12,3],[10,14,3],[12,17,4],[14,20,5],[17,23,6], [20,28,7],[24,33,8],[29,38,9],[34,45,11],[40,54,13],[48,65,16] ], 0x2280: [ // DOES NOT PRECEDE [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,13,3],[12,16,4],[14,19,5],[17,22,5], [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] ], 0x2281: [ // stix-not (vert) succeeds [5,7,2],[6,8,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,51,12],[46,61,14] ], 0x2288: [ // stix-/nsubseteq N: not (vert) subset, equals [5,9,3],[6,10,3],[7,12,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] ], 0x2289: [ // stix-/nsupseteq N: not (vert) superset, equals [5,9,3],[6,10,3],[7,11,3],[8,14,4],[10,17,5],[12,19,6],[14,22,6],[17,26,7], [20,32,9],[23,37,11],[28,44,12],[33,53,15],[39,62,17],[46,73,20] ], 0x228A: [ // stix-subset, not equals, variant [5,7,2],[6,8,2],[7,10,3],[9,11,3],[10,13,4],[12,16,5],[14,18,5],[17,21,6], [20,25,7],[23,31,9],[28,36,10],[33,42,12],[39,50,14],[46,59,17] ], 0x228B: [ // stix-superset, not equals, variant [5,7,2],[6,8,2],[7,10,3],[8,11,3],[10,13,4],[12,16,5],[14,18,5],[17,21,6], [20,25,7],[23,30,9],[28,35,10],[33,42,12],[39,50,14],[46,59,17] ], 0x228F: [ // SQUARE IMAGE OF [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], [19,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] ], 0x2290: [ // SQUARE ORIGINAL OF [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], [20,17,2],[24,20,2],[28,24,2],[34,28,2],[40,33,3],[47,39,3] ], 0x229A: [ // CIRCLED RING OPERATOR [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2], [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6] ], 0x229B: [ // CIRCLED ASTERISK OPERATOR [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2], [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6] ], 0x229D: [ // CIRCLED DASH [5,6,1],[6,6,1],[7,7,1],[9,8,1],[10,10,1],[12,12,2],[14,14,2],[17,16,2], [20,20,3],[24,23,3],[29,27,4],[34,31,4],[40,38,5],[48,45,6] ], 0x229E: [ // SQUARED PLUS [5,5,0],[6,6,0],[8,7,0],[9,8,0],[11,10,0],[13,12,0],[15,14,0],[17,16,0], [20,20,0],[24,23,0],[29,27,0],[34,32,0],[41,39,0],[48,46,0] ], 0x229F: [ // SQUARED MINUS [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0], [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0] ], 0x22A0: [ // SQUARED TIMES [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0], [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0] ], 0x22A1: [ // SQUARED DOT OPERATOR [5,5,0],[6,6,0],[7,7,0],[9,8,0],[10,10,0],[12,12,0],[14,14,0],[17,16,0], [21,20,0],[24,23,0],[29,27,0],[34,32,0],[40,39,0],[48,46,0] ], 0x22A8: [ // TRUE [4,5,0],[5,6,0],[6,7,0],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0], [16,20,0],[19,23,0],[22,28,0],[26,33,0],[31,39,0],[37,46,0] ], 0x22A9: [ // FORCES [5,5,0],[6,6,0],[7,7,0],[8,9,0],[10,10,0],[12,12,0],[14,14,0],[16,17,0], [19,20,0],[22,23,0],[26,28,0],[31,33,0],[37,39,0],[44,46,0] ], 0x22AA: [ // TRIPLE VERTICAL BAR RIGHT TURNSTILE [6,5,0],[7,6,0],[9,7,0],[10,9,0],[12,10,0],[14,12,0],[17,14,0],[19,17,0], [24,20,0],[28,23,0],[33,28,0],[39,33,0],[46,39,0],[55,46,0] ], 0x22AC: [ // DOES NOT PROVE [5,5,0],[6,7,1],[7,8,1],[8,10,1],[9,11,1],[11,13,1],[13,15,1],[15,18,1], [18,21,1],[21,24,1],[25,29,1],[30,34,1],[35,40,1],[41,47,1] ], 0x22AD: [ // NOT TRUE [5,5,0],[6,7,1],[7,8,1],[8,10,1],[9,11,1],[11,13,1],[13,15,1],[15,18,1], [18,21,1],[21,24,1],[25,29,1],[29,34,1],[35,40,1],[41,47,1] ], 0x22AE: [ // DOES NOT FORCE [6,5,0],[7,7,1],[8,8,1],[9,10,1],[11,11,1],[13,13,1],[15,15,1],[18,18,1], [21,21,1],[24,24,1],[29,29,1],[35,34,1],[41,40,1],[48,47,1] ], 0x22AF: [ // NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE [6,5,0],[7,7,1],[8,8,1],[9,10,1],[11,11,1],[13,13,1],[16,15,1],[18,18,1], [21,21,1],[24,24,1],[30,29,1],[35,34,1],[41,40,1],[49,47,1] ], 0x22B2: [ // NORMAL SUBGROUP OF [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[16,14,1], [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] ], 0x22B3: [ // CONTAINS AS NORMAL SUBGROUP [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] ], 0x22B4: [ // NORMAL SUBGROUP OF OR EQUAL TO [5,6,1],[6,7,1],[7,9,2],[9,10,2],[10,11,2],[12,14,3],[14,16,3],[17,18,3], [20,22,4],[23,26,5],[28,31,6],[33,37,7],[39,44,8],[46,52,10] ], 0x22B5: [ // CONTAINS AS NORMAL SUBGROUP OR EQUAL TO [5,6,1],[6,7,1],[7,9,2],[9,10,2],[10,11,2],[12,14,3],[14,16,3],[17,18,3], [20,22,4],[23,26,5],[28,31,6],[33,37,7],[39,44,8],[46,52,10] ], 0x22B8: [ // MULTIMAP [8,3,0],[9,4,0],[11,3,-1],[13,4,-1],[15,5,-1],[18,6,-1],[21,6,-2],[25,8,-2], [30,10,-2],[35,11,-3],[42,13,-3],[50,15,-4],[59,18,-5],[70,21,-6] ], 0x22BA: [ // INTERCALATE [4,5,2],[5,6,2],[5,8,3],[6,8,3],[7,9,3],[9,12,4],[10,13,4],[12,15,5], [14,18,6],[17,23,8],[20,26,9],[24,31,10],[28,36,12],[33,43,14] ], 0x22BB: [ // XOR [4,5,0],[5,6,0],[6,8,0],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0], [16,20,0],[19,24,0],[22,29,0],[26,34,0],[31,40,0],[37,48,0] ], 0x22BC: [ // NAND [4,5,0],[5,6,0],[6,8,1],[7,9,0],[8,10,0],[10,12,0],[11,14,0],[13,17,0], [16,20,0],[19,25,1],[22,29,0],[26,35,1],[31,41,1],[37,49,1] ], 0x22C5: [ // DOT OPERATOR [2,2,0],[2,2,0],[3,2,0],[3,3,0],[4,3,0],[4,4,0],[5,4,0],[6,5,0], [7,6,0],[8,7,0],[9,8,0],[11,9,0],[13,11,0],[15,13,0] ], 0x22C7: [ // DIVISION TIMES [5,5,1],[6,6,1],[8,7,1],[9,8,1],[10,9,1],[12,11,1],[15,12,1],[17,15,2], [20,18,2],[24,20,2],[29,24,2],[34,29,3],[40,34,3],[48,39,3] ], 0x22C9: [ // LEFT NORMAL FACTOR SEMIDIRECT PRODUCT [5,4,0],[6,5,0],[7,5,0],[8,6,0],[9,7,0],[11,9,0],[13,10,0],[15,12,0], [18,14,0],[21,17,0],[25,20,0],[30,23,0],[35,28,0],[42,33,0] ], 0x22CA: [ // RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT [5,4,0],[6,5,0],[6,5,0],[8,6,0],[9,7,0],[11,9,0],[13,10,0],[15,12,0], [18,14,0],[21,17,0],[25,20,0],[30,23,0],[35,28,0],[42,33,0] ], 0x22CB: [ // LEFT SEMIDIRECT PRODUCT [5,6,1],[6,7,1],[8,8,1],[9,10,1],[10,11,1],[12,13,1],[15,15,1],[17,18,1], [20,21,1],[24,24,1],[29,29,1],[34,35,2],[40,41,2],[48,48,2] ], 0x22CC: [ // RIGHT SEMIDIRECT PRODUCT [5,6,1],[6,7,1],[8,8,1],[9,10,1],[10,11,1],[12,13,1],[14,15,1],[17,18,1], [20,21,1],[24,24,1],[29,29,1],[34,35,2],[40,41,2],[48,48,2] ], 0x22CD: [ // REVERSED TILDE EQUALS [5,4,0],[6,4,0],[8,5,0],[9,6,0],[10,7,0],[12,8,0],[15,10,0],[17,10,-1], [20,12,-1],[24,15,-1],[29,18,-1],[34,21,-1],[40,25,-1],[48,29,-2] ], 0x22CE: [ // CURLY LOGICAL OR [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,10,1],[12,11,1],[14,13,1],[16,15,1], [19,17,1],[23,20,1],[27,24,1],[32,28,1],[38,34,2],[45,41,2] ], 0x22CF: [ // CURLY LOGICAL AND [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,11,1],[14,13,1],[16,15,1], [19,17,1],[23,20,1],[27,24,1],[32,29,2],[38,34,2],[45,40,2] ], 0x22D0: [ // DOUBLE SUBSET [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[16,14,1], [19,17,2],[23,20,2],[27,23,2],[33,27,2],[39,33,3],[46,39,3] ], 0x22D1: [ // DOUBLE SUPERSET [5,5,1],[6,6,1],[7,7,1],[8,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] ], 0x22D2: [ // DOUBLE INTERSECTION [5,5,1],[5,6,1],[6,7,1],[7,8,1],[9,10,1],[10,11,1],[12,13,1],[14,15,1], [17,18,1],[21,21,1],[24,25,1],[29,30,2],[34,36,2],[41,42,2] ], 0x22D3: [ // DOUBLE UNION [5,5,1],[6,6,1],[6,7,1],[8,8,1],[9,10,1],[11,11,1],[12,13,1],[14,15,1], [18,18,1],[21,21,1],[24,25,1],[29,29,1],[34,36,2],[41,42,2] ], 0x22D4: [ // PITCHFORK [5,7,1],[6,8,1],[6,9,1],[8,10,1],[9,12,1],[11,14,1],[12,16,1],[15,19,1], [18,22,1],[21,26,1],[24,30,1],[29,37,2],[34,43,2],[41,51,2] ], 0x22D6: [ // LESS-THAN WITH DOT [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], [20,17,2],[23,20,2],[28,24,2],[33,28,2],[39,33,3],[46,39,3] ], 0x22D7: [ // GREATER-THAN WITH DOT [5,5,1],[6,6,1],[7,7,1],[9,8,1],[10,9,1],[12,10,1],[14,12,1],[17,14,1], [20,17,2],[23,20,2],[27,24,2],[33,28,2],[39,33,3],[46,39,3] ], 0x22D8: [ // VERY MUCH LESS-THAN [9,5,1],[11,6,1],[13,7,1],[15,8,1],[18,9,1],[22,12,2],[25,14,2],[30,16,2], [36,18,2],[42,22,3],[50,26,3],[60,31,4],[71,36,4],[84,43,5] ], 0x22D9: [ // VERY MUCH GREATER-THAN [9,5,1],[11,6,1],[13,7,1],[16,8,1],[18,9,1],[22,12,2],[25,14,2],[30,16,2], [36,18,2],[43,22,3],[51,26,3],[60,31,4],[71,36,4],[85,43,5] ], 0x22DA: [ // stix-less, equal, slanted, greater [5,10,3],[6,12,4],[7,13,4],[8,16,5],[10,19,6],[12,22,7],[14,26,8],[16,30,9], [19,36,11],[23,43,13],[27,50,15],[32,60,18],[38,71,22],[45,85,26] ], 0x22DB: [ // stix-greater, equal, slanted, less [5,10,3],[6,12,4],[7,13,4],[8,16,5],[10,19,6],[12,22,7],[14,26,8],[16,30,9], [19,36,11],[23,43,13],[27,51,16],[32,60,18],[38,71,22],[45,85,26] ], 0x22DE: [ // EQUAL TO OR PRECEDES [5,7,1],[6,8,1],[7,9,1],[9,10,1],[10,12,1],[12,14,1],[14,16,1],[17,18,1], [20,22,1],[23,26,1],[28,30,1],[33,35,1],[39,42,1],[46,50,1] ], 0x22DF: [ // EQUAL TO OR SUCCEEDS [5,6,0],[6,7,0],[7,8,0],[9,9,0],[10,11,0],[12,13,0],[14,15,0],[17,18,0], [20,21,0],[23,25,0],[28,29,0],[33,35,0],[39,41,0],[46,49,0] ], 0x22E0: [ // stix-not (vert) precedes or contour equals [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,27,7], [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] ], 0x22E1: [ // stix-not (vert) succeeds or contour equals [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] ], 0x22E6: [ // LESS-THAN BUT NOT EQUIVALENT TO [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9], [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,61,20],[48,73,24] ], 0x22E7: [ // GREATER-THAN BUT NOT EQUIVALENT TO [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9], [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,61,20],[48,73,24] ], 0x22E8: [ // PRECEDES BUT NOT EQUIVALENT TO [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,22,7],[17,26,9], [20,31,10],[24,37,12],[29,43,14],[34,51,17],[40,61,20],[48,73,24] ], 0x22E9: [ // SUCCEEDS BUT NOT EQUIVALENT TO [5,9,3],[6,10,3],[8,12,4],[9,14,5],[10,16,5],[13,19,6],[15,23,8],[17,26,9], [20,31,10],[24,37,12],[29,44,15],[34,51,17],[40,62,21],[48,73,24] ], 0x22EA: [ // NOT NORMAL SUBGROUP OF [5,8,2],[6,9,2],[7,10,3],[8,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], [20,26,6],[23,31,7],[28,37,9],[33,43,10],[39,52,12],[46,61,14] ], 0x22EB: [ // DOES NOT CONTAIN AS NORMAL SUBGROUP [5,8,2],[6,9,2],[7,10,3],[9,12,3],[10,14,4],[12,16,4],[14,19,5],[17,22,5], [19,26,6],[23,31,7],[27,37,9],[33,43,10],[39,52,12],[46,61,14] ], 0x22EC: [ // stix-not, vert, left triangle, equals [5,9,3],[6,10,3],[7,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] ], 0x22ED: [ // stix-not, vert, right triangle, equals [5,9,3],[6,10,3],[8,11,3],[9,14,4],[10,17,5],[12,20,6],[14,22,6],[17,26,7], [20,32,9],[23,38,11],[28,44,12],[33,53,15],[39,62,17],[46,74,21] ] } }); MathJax.Ajax.loadComplete(MathJax.OutputJax["HTML-CSS"].imgDir+"/AMS/Regular"+ MathJax.OutputJax["HTML-CSS"].imgPacked+"/MathOperators.js");