%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  This file is part of VivoMind Prolog Unicode Resources
%  SPDX-License-Identifier: CC0-1.0
%
%  VivoMind Prolog Unicode Resources is free software distributed using the
%  Creative Commons CC0 1.0 Universal (CC0 1.0) - Public Domain Dedication
%  license
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%  Last modified: March 13, 2012

unicode_name(0x002B, 'PLUS SIGN').
unicode_name(0x003C, 'LESS-THAN SIGN').
unicode_name(0x003D, 'EQUALS SIGN').
unicode_name(0x003E, 'GREATER-THAN SIGN').
unicode_name(0x007C, 'VERTICAL LINE').
unicode_name(0x007E, 'TILDE').
unicode_name(0x00AC, 'NOT SIGN').
unicode_name(0x00B1, 'PLUS-MINUS SIGN').
unicode_name(0x00D7, 'MULTIPLICATION SIGN').
unicode_name(0x00F7, 'DIVISION SIGN').
unicode_name(0x03F6, 'GREEK REVERSED LUNATE EPSILON SYMBOL').
unicode_name(0x0606, 'ARABIC-INDIC CUBE ROOT').
unicode_name(0x0607, 'ARABIC-INDIC FOURTH ROOT').
unicode_name(0x0608, 'ARABIC RAY').
unicode_name(0x2044, 'FRACTION SLASH').
unicode_name(0x2052, 'COMMERCIAL MINUS SIGN').
unicode_name(0x207A, 'SUPERSCRIPT PLUS SIGN').
unicode_name(0x207B, 'SUPERSCRIPT MINUS').
unicode_name(0x207C, 'SUPERSCRIPT EQUALS SIGN').
unicode_name(0x208A, 'SUBSCRIPT PLUS SIGN').
unicode_name(0x208B, 'SUBSCRIPT MINUS').
unicode_name(0x208C, 'SUBSCRIPT EQUALS SIGN').
unicode_name(0x2118, 'SCRIPT CAPITAL P').
unicode_name(0x2140, 'DOUBLE-STRUCK N-ARY SUMMATION').
unicode_name(0x2141, 'TURNED SANS-SERIF CAPITAL G').
unicode_name(0x2142, 'TURNED SANS-SERIF CAPITAL L').
unicode_name(0x2143, 'REVERSED SANS-SERIF CAPITAL L').
unicode_name(0x2144, 'TURNED SANS-SERIF CAPITAL Y').
unicode_name(0x214B, 'TURNED AMPERSAND').
unicode_name(0x2190, 'LEFTWARDS ARROW').
unicode_name(0x2191, 'UPWARDS ARROW').
unicode_name(0x2192, 'RIGHTWARDS ARROW').
unicode_name(0x2193, 'DOWNWARDS ARROW').
unicode_name(0x2194, 'LEFT RIGHT ARROW').
unicode_name(0x219A, 'LEFTWARDS ARROW WITH STROKE').
unicode_name(0x219B, 'RIGHTWARDS ARROW WITH STROKE').
unicode_name(0x21A0, 'RIGHTWARDS TWO HEADED ARROW').
unicode_name(0x21A3, 'RIGHTWARDS ARROW WITH TAIL').
unicode_name(0x21A6, 'RIGHTWARDS ARROW FROM BAR').
unicode_name(0x21AE, 'LEFT RIGHT ARROW WITH STROKE').
unicode_name(0x21CE, 'LEFT RIGHT DOUBLE ARROW WITH STROKE').
unicode_name(0x21CF, 'RIGHTWARDS DOUBLE ARROW WITH STROKE').
unicode_name(0x21D2, 'RIGHTWARDS DOUBLE ARROW').
unicode_name(0x21D4, 'LEFT RIGHT DOUBLE ARROW').
unicode_name(0x21F4, 'RIGHT ARROW WITH SMALL CIRCLE').
unicode_name(0x21F5, 'DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW').
unicode_name(0x21F6, 'THREE RIGHTWARDS ARROWS').
unicode_name(0x21F7, 'LEFTWARDS ARROW WITH VERTICAL STROKE').
unicode_name(0x21F8, 'RIGHTWARDS ARROW WITH VERTICAL STROKE').
unicode_name(0x21F9, 'LEFT RIGHT ARROW WITH VERTICAL STROKE').
unicode_name(0x21FA, 'LEFTWARDS ARROW WITH DOUBLE VERTICAL STROKE').
unicode_name(0x21FB, 'RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE').
unicode_name(0x21FC, 'LEFT RIGHT ARROW WITH DOUBLE VERTICAL STROKE').
unicode_name(0x21FD, 'LEFTWARDS OPEN-HEADED ARROW').
unicode_name(0x21FE, 'RIGHTWARDS OPEN-HEADED ARROW').
unicode_name(0x21FF, 'LEFT RIGHT OPEN-HEADED ARROW').
unicode_name(0x2200, 'FOR ALL').
unicode_name(0x2201, 'COMPLEMENT').
unicode_name(0x2202, 'PARTIAL DIFFERENTIAL').
unicode_name(0x2203, 'THERE EXISTS').
unicode_name(0x2204, 'THERE DOES NOT EXIST').
unicode_name(0x2205, 'EMPTY SET').
unicode_name(0x2206, 'INCREMENT').
unicode_name(0x2207, 'NABLA').
unicode_name(0x2208, 'ELEMENT OF').
unicode_name(0x2209, 'NOT AN ELEMENT OF').
unicode_name(0x220A, 'SMALL ELEMENT OF').
unicode_name(0x220B, 'CONTAINS AS MEMBER').
unicode_name(0x220C, 'DOES NOT CONTAIN AS MEMBER').
unicode_name(0x220D, 'SMALL CONTAINS AS MEMBER').
unicode_name(0x220E, 'END OF PROOF').
unicode_name(0x220F, 'N-ARY PRODUCT').
unicode_name(0x2210, 'N-ARY COPRODUCT').
unicode_name(0x2211, 'N-ARY SUMMATION').
unicode_name(0x2212, 'MINUS SIGN').
unicode_name(0x2213, 'MINUS-OR-PLUS SIGN').
unicode_name(0x2214, 'DOT PLUS').
unicode_name(0x2215, 'DIVISION SLASH').
unicode_name(0x2216, 'SET MINUS').
unicode_name(0x2217, 'ASTERISK OPERATOR').
unicode_name(0x2218, 'RING OPERATOR').
unicode_name(0x2219, 'BULLET OPERATOR').
unicode_name(0x221A, 'SQUARE ROOT').
unicode_name(0x221B, 'CUBE ROOT').
unicode_name(0x221C, 'FOURTH ROOT').
unicode_name(0x221D, 'PROPORTIONAL TO').
unicode_name(0x221E, 'INFINITY').
unicode_name(0x221F, 'RIGHT ANGLE').
unicode_name(0x2220, 'ANGLE').
unicode_name(0x2221, 'MEASURED ANGLE').
unicode_name(0x2222, 'SPHERICAL ANGLE').
unicode_name(0x2223, 'DIVIDES').
unicode_name(0x2224, 'DOES NOT DIVIDE').
unicode_name(0x2225, 'PARALLEL TO').
unicode_name(0x2226, 'NOT PARALLEL TO').
unicode_name(0x2227, 'LOGICAL AND').
unicode_name(0x2228, 'LOGICAL OR').
unicode_name(0x2229, 'INTERSECTION').
unicode_name(0x222A, 'UNION').
unicode_name(0x222B, 'INTEGRAL').
unicode_name(0x222C, 'DOUBLE INTEGRAL').
unicode_name(0x222D, 'TRIPLE INTEGRAL').
unicode_name(0x222E, 'CONTOUR INTEGRAL').
unicode_name(0x222F, 'SURFACE INTEGRAL').
unicode_name(0x2230, 'VOLUME INTEGRAL').
unicode_name(0x2231, 'CLOCKWISE INTEGRAL').
unicode_name(0x2232, 'CLOCKWISE CONTOUR INTEGRAL').
unicode_name(0x2233, 'ANTICLOCKWISE CONTOUR INTEGRAL').
unicode_name(0x2234, 'THEREFORE').
unicode_name(0x2235, 'BECAUSE').
unicode_name(0x2236, 'RATIO').
unicode_name(0x2237, 'PROPORTION').
unicode_name(0x2238, 'DOT MINUS').
unicode_name(0x2239, 'EXCESS').
unicode_name(0x223A, 'GEOMETRIC PROPORTION').
unicode_name(0x223B, 'HOMOTHETIC').
unicode_name(0x223C, 'TILDE OPERATOR').
unicode_name(0x223D, 'REVERSED TILDE').
unicode_name(0x223E, 'INVERTED LAZY S').
unicode_name(0x223F, 'SINE WAVE').
unicode_name(0x2240, 'WREATH PRODUCT').
unicode_name(0x2241, 'NOT TILDE').
unicode_name(0x2242, 'MINUS TILDE').
unicode_name(0x2243, 'ASYMPTOTICALLY EQUAL TO').
unicode_name(0x2244, 'NOT ASYMPTOTICALLY EQUAL TO').
unicode_name(0x2245, 'APPROXIMATELY EQUAL TO').
unicode_name(0x2246, 'APPROXIMATELY BUT NOT ACTUALLY EQUAL TO').
unicode_name(0x2247, 'NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO').
unicode_name(0x2248, 'ALMOST EQUAL TO').
unicode_name(0x2249, 'NOT ALMOST EQUAL TO').
unicode_name(0x224A, 'ALMOST EQUAL OR EQUAL TO').
unicode_name(0x224B, 'TRIPLE TILDE').
unicode_name(0x224C, 'ALL EQUAL TO').
unicode_name(0x224D, 'EQUIVALENT TO').
unicode_name(0x224E, 'GEOMETRICALLY EQUIVALENT TO').
unicode_name(0x224F, 'DIFFERENCE BETWEEN').
unicode_name(0x2250, 'APPROACHES THE LIMIT').
unicode_name(0x2251, 'GEOMETRICALLY EQUAL TO').
unicode_name(0x2252, 'APPROXIMATELY EQUAL TO OR THE IMAGE OF').
unicode_name(0x2253, 'IMAGE OF OR APPROXIMATELY EQUAL TO').
unicode_name(0x2254, 'COLON EQUALS').
unicode_name(0x2255, 'EQUALS COLON').
unicode_name(0x2256, 'RING IN EQUAL TO').
unicode_name(0x2257, 'RING EQUAL TO').
unicode_name(0x2258, 'CORRESPONDS TO').
unicode_name(0x2259, 'ESTIMATES').
unicode_name(0x225A, 'EQUIANGULAR TO').
unicode_name(0x225B, 'STAR EQUALS').
unicode_name(0x225C, 'DELTA EQUAL TO').
unicode_name(0x225D, 'EQUAL TO BY DEFINITION').
unicode_name(0x225E, 'MEASURED BY').
unicode_name(0x225F, 'QUESTIONED EQUAL TO').
unicode_name(0x2260, 'NOT EQUAL TO').
unicode_name(0x2261, 'IDENTICAL TO').
unicode_name(0x2262, 'NOT IDENTICAL TO').
unicode_name(0x2263, 'STRICTLY EQUIVALENT TO').
unicode_name(0x2264, 'LESS-THAN OR EQUAL TO').
unicode_name(0x2265, 'GREATER-THAN OR EQUAL TO').
unicode_name(0x2266, 'LESS-THAN OVER EQUAL TO').
unicode_name(0x2267, 'GREATER-THAN OVER EQUAL TO').
unicode_name(0x2268, 'LESS-THAN BUT NOT EQUAL TO').
unicode_name(0x2269, 'GREATER-THAN BUT NOT EQUAL TO').
unicode_name(0x226A, 'MUCH LESS-THAN').
unicode_name(0x226B, 'MUCH GREATER-THAN').
unicode_name(0x226C, 'BETWEEN').
unicode_name(0x226D, 'NOT EQUIVALENT TO').
unicode_name(0x226E, 'NOT LESS-THAN').
unicode_name(0x226F, 'NOT GREATER-THAN').
unicode_name(0x2270, 'NEITHER LESS-THAN NOR EQUAL TO').
unicode_name(0x2271, 'NEITHER GREATER-THAN NOR EQUAL TO').
unicode_name(0x2272, 'LESS-THAN OR EQUIVALENT TO').
unicode_name(0x2273, 'GREATER-THAN OR EQUIVALENT TO').
unicode_name(0x2274, 'NEITHER LESS-THAN NOR EQUIVALENT TO').
unicode_name(0x2275, 'NEITHER GREATER-THAN NOR EQUIVALENT TO').
unicode_name(0x2276, 'LESS-THAN OR GREATER-THAN').
unicode_name(0x2277, 'GREATER-THAN OR LESS-THAN').
unicode_name(0x2278, 'NEITHER LESS-THAN NOR GREATER-THAN').
unicode_name(0x2279, 'NEITHER GREATER-THAN NOR LESS-THAN').
unicode_name(0x227A, 'PRECEDES').
unicode_name(0x227B, 'SUCCEEDS').
unicode_name(0x227C, 'PRECEDES OR EQUAL TO').
unicode_name(0x227D, 'SUCCEEDS OR EQUAL TO').
unicode_name(0x227E, 'PRECEDES OR EQUIVALENT TO').
unicode_name(0x227F, 'SUCCEEDS OR EQUIVALENT TO').
unicode_name(0x2280, 'DOES NOT PRECEDE').
unicode_name(0x2281, 'DOES NOT SUCCEED').
unicode_name(0x2282, 'SUBSET OF').
unicode_name(0x2283, 'SUPERSET OF').
unicode_name(0x2284, 'NOT A SUBSET OF').
unicode_name(0x2285, 'NOT A SUPERSET OF').
unicode_name(0x2286, 'SUBSET OF OR EQUAL TO').
unicode_name(0x2287, 'SUPERSET OF OR EQUAL TO').
unicode_name(0x2288, 'NEITHER A SUBSET OF NOR EQUAL TO').
unicode_name(0x2289, 'NEITHER A SUPERSET OF NOR EQUAL TO').
unicode_name(0x228A, 'SUBSET OF WITH NOT EQUAL TO').
unicode_name(0x228B, 'SUPERSET OF WITH NOT EQUAL TO').
unicode_name(0x228C, 'MULTISET').
unicode_name(0x228D, 'MULTISET MULTIPLICATION').
unicode_name(0x228E, 'MULTISET UNION').
unicode_name(0x228F, 'SQUARE IMAGE OF').
unicode_name(0x2290, 'SQUARE ORIGINAL OF').
unicode_name(0x2291, 'SQUARE IMAGE OF OR EQUAL TO').
unicode_name(0x2292, 'SQUARE ORIGINAL OF OR EQUAL TO').
unicode_name(0x2293, 'SQUARE CAP').
unicode_name(0x2294, 'SQUARE CUP').
unicode_name(0x2295, 'CIRCLED PLUS').
unicode_name(0x2296, 'CIRCLED MINUS').
unicode_name(0x2297, 'CIRCLED TIMES').
unicode_name(0x2298, 'CIRCLED DIVISION SLASH').
unicode_name(0x2299, 'CIRCLED DOT OPERATOR').
unicode_name(0x229A, 'CIRCLED RING OPERATOR').
unicode_name(0x229B, 'CIRCLED ASTERISK OPERATOR').
unicode_name(0x229C, 'CIRCLED EQUALS').
unicode_name(0x229D, 'CIRCLED DASH').
unicode_name(0x229E, 'SQUARED PLUS').
unicode_name(0x229F, 'SQUARED MINUS').
unicode_name(0x22A0, 'SQUARED TIMES').
unicode_name(0x22A1, 'SQUARED DOT OPERATOR').
unicode_name(0x22A2, 'RIGHT TACK').
unicode_name(0x22A3, 'LEFT TACK').
unicode_name(0x22A4, 'DOWN TACK').
unicode_name(0x22A5, 'UP TACK').
unicode_name(0x22A6, 'ASSERTION').
unicode_name(0x22A7, 'MODELS').
unicode_name(0x22A8, 'TRUE').
unicode_name(0x22A9, 'FORCES').
unicode_name(0x22AA, 'TRIPLE VERTICAL BAR RIGHT TURNSTILE').
unicode_name(0x22AB, 'DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE').
unicode_name(0x22AC, 'DOES NOT PROVE').
unicode_name(0x22AD, 'NOT TRUE').
unicode_name(0x22AE, 'DOES NOT FORCE').
unicode_name(0x22AF, 'NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE').
unicode_name(0x22B0, 'PRECEDES UNDER RELATION').
unicode_name(0x22B1, 'SUCCEEDS UNDER RELATION').
unicode_name(0x22B2, 'NORMAL SUBGROUP OF').
unicode_name(0x22B3, 'CONTAINS AS NORMAL SUBGROUP').
unicode_name(0x22B4, 'NORMAL SUBGROUP OF OR EQUAL TO').
unicode_name(0x22B5, 'CONTAINS AS NORMAL SUBGROUP OR EQUAL TO').
unicode_name(0x22B6, 'ORIGINAL OF').
unicode_name(0x22B7, 'IMAGE OF').
unicode_name(0x22B8, 'MULTIMAP').
unicode_name(0x22B9, 'HERMITIAN CONJUGATE MATRIX').
unicode_name(0x22BA, 'INTERCALATE').
unicode_name(0x22BB, 'XOR').
unicode_name(0x22BC, 'NAND').
unicode_name(0x22BD, 'NOR').
unicode_name(0x22BE, 'RIGHT ANGLE WITH ARC').
unicode_name(0x22BF, 'RIGHT TRIANGLE').
unicode_name(0x22C0, 'N-ARY LOGICAL AND').
unicode_name(0x22C1, 'N-ARY LOGICAL OR').
unicode_name(0x22C2, 'N-ARY INTERSECTION').
unicode_name(0x22C3, 'N-ARY UNION').
unicode_name(0x22C4, 'DIAMOND OPERATOR').
unicode_name(0x22C5, 'DOT OPERATOR').
unicode_name(0x22C6, 'STAR OPERATOR').
unicode_name(0x22C7, 'DIVISION TIMES').
unicode_name(0x22C8, 'BOWTIE').
unicode_name(0x22C9, 'LEFT NORMAL FACTOR SEMIDIRECT PRODUCT').
unicode_name(0x22CA, 'RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT').
unicode_name(0x22CB, 'LEFT SEMIDIRECT PRODUCT').
unicode_name(0x22CC, 'RIGHT SEMIDIRECT PRODUCT').
unicode_name(0x22CD, 'REVERSED TILDE EQUALS').
unicode_name(0x22CE, 'CURLY LOGICAL OR').
unicode_name(0x22CF, 'CURLY LOGICAL AND').
unicode_name(0x22D0, 'DOUBLE SUBSET').
unicode_name(0x22D1, 'DOUBLE SUPERSET').
unicode_name(0x22D2, 'DOUBLE INTERSECTION').
unicode_name(0x22D3, 'DOUBLE UNION').
unicode_name(0x22D4, 'PITCHFORK').
unicode_name(0x22D5, 'EQUAL AND PARALLEL TO').
unicode_name(0x22D6, 'LESS-THAN WITH DOT').
unicode_name(0x22D7, 'GREATER-THAN WITH DOT').
unicode_name(0x22D8, 'VERY MUCH LESS-THAN').
unicode_name(0x22D9, 'VERY MUCH GREATER-THAN').
unicode_name(0x22DA, 'LESS-THAN EQUAL TO OR GREATER-THAN').
unicode_name(0x22DB, 'GREATER-THAN EQUAL TO OR LESS-THAN').
unicode_name(0x22DC, 'EQUAL TO OR LESS-THAN').
unicode_name(0x22DD, 'EQUAL TO OR GREATER-THAN').
unicode_name(0x22DE, 'EQUAL TO OR PRECEDES').
unicode_name(0x22DF, 'EQUAL TO OR SUCCEEDS').
unicode_name(0x22E0, 'DOES NOT PRECEDE OR EQUAL').
unicode_name(0x22E1, 'DOES NOT SUCCEED OR EQUAL').
unicode_name(0x22E2, 'NOT SQUARE IMAGE OF OR EQUAL TO').
unicode_name(0x22E3, 'NOT SQUARE ORIGINAL OF OR EQUAL TO').
unicode_name(0x22E4, 'SQUARE IMAGE OF OR NOT EQUAL TO').
unicode_name(0x22E5, 'SQUARE ORIGINAL OF OR NOT EQUAL TO').
unicode_name(0x22E6, 'LESS-THAN BUT NOT EQUIVALENT TO').
unicode_name(0x22E7, 'GREATER-THAN BUT NOT EQUIVALENT TO').
unicode_name(0x22E8, 'PRECEDES BUT NOT EQUIVALENT TO').
unicode_name(0x22E9, 'SUCCEEDS BUT NOT EQUIVALENT TO').
unicode_name(0x22EA, 'NOT NORMAL SUBGROUP OF').
unicode_name(0x22EB, 'DOES NOT CONTAIN AS NORMAL SUBGROUP').
unicode_name(0x22EC, 'NOT NORMAL SUBGROUP OF OR EQUAL TO').
unicode_name(0x22ED, 'DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL').
unicode_name(0x22EE, 'VERTICAL ELLIPSIS').
unicode_name(0x22EF, 'MIDLINE HORIZONTAL ELLIPSIS').
unicode_name(0x22F0, 'UP RIGHT DIAGONAL ELLIPSIS').
unicode_name(0x22F1, 'DOWN RIGHT DIAGONAL ELLIPSIS').
unicode_name(0x22F2, 'ELEMENT OF WITH LONG HORIZONTAL STROKE').
unicode_name(0x22F3, 'ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE').
unicode_name(0x22F4, 'SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE').
unicode_name(0x22F5, 'ELEMENT OF WITH DOT ABOVE').
unicode_name(0x22F6, 'ELEMENT OF WITH OVERBAR').
unicode_name(0x22F7, 'SMALL ELEMENT OF WITH OVERBAR').
unicode_name(0x22F8, 'ELEMENT OF WITH UNDERBAR').
unicode_name(0x22F9, 'ELEMENT OF WITH TWO HORIZONTAL STROKES').
unicode_name(0x22FA, 'CONTAINS WITH LONG HORIZONTAL STROKE').
unicode_name(0x22FB, 'CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE').
unicode_name(0x22FC, 'SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE').
unicode_name(0x22FD, 'CONTAINS WITH OVERBAR').
unicode_name(0x22FE, 'SMALL CONTAINS WITH OVERBAR').
unicode_name(0x22FF, 'Z NOTATION BAG MEMBERSHIP').
unicode_name(0x2308, 'LEFT CEILING').
unicode_name(0x2309, 'RIGHT CEILING').
unicode_name(0x230A, 'LEFT FLOOR').
unicode_name(0x230B, 'RIGHT FLOOR').
unicode_name(0x2320, 'TOP HALF INTEGRAL').
unicode_name(0x2321, 'BOTTOM HALF INTEGRAL').
unicode_name(0x237C, 'RIGHT ANGLE WITH DOWNWARDS ZIGZAG ARROW').
unicode_name(0x239B, 'LEFT PARENTHESIS UPPER HOOK').
unicode_name(0x239C, 'LEFT PARENTHESIS EXTENSION').
unicode_name(0x239D, 'LEFT PARENTHESIS LOWER HOOK').
unicode_name(0x239E, 'RIGHT PARENTHESIS UPPER HOOK').
unicode_name(0x239F, 'RIGHT PARENTHESIS EXTENSION').
unicode_name(0x23A0, 'RIGHT PARENTHESIS LOWER HOOK').
unicode_name(0x23A1, 'LEFT SQUARE BRACKET UPPER CORNER').
unicode_name(0x23A2, 'LEFT SQUARE BRACKET EXTENSION').
unicode_name(0x23A3, 'LEFT SQUARE BRACKET LOWER CORNER').
unicode_name(0x23A4, 'RIGHT SQUARE BRACKET UPPER CORNER').
unicode_name(0x23A5, 'RIGHT SQUARE BRACKET EXTENSION').
unicode_name(0x23A6, 'RIGHT SQUARE BRACKET LOWER CORNER').
unicode_name(0x23A7, 'LEFT CURLY BRACKET UPPER HOOK').
unicode_name(0x23A8, 'LEFT CURLY BRACKET MIDDLE PIECE').
unicode_name(0x23A9, 'LEFT CURLY BRACKET LOWER HOOK').
unicode_name(0x23AA, 'CURLY BRACKET EXTENSION').
unicode_name(0x23AB, 'RIGHT CURLY BRACKET UPPER HOOK').
unicode_name(0x23AC, 'RIGHT CURLY BRACKET MIDDLE PIECE').
unicode_name(0x23AD, 'RIGHT CURLY BRACKET LOWER HOOK').
unicode_name(0x23AE, 'INTEGRAL EXTENSION').
unicode_name(0x23AF, 'HORIZONTAL LINE EXTENSION').
unicode_name(0x23B0, 'UPPER LEFT OR LOWER RIGHT CURLY BRACKET SECTION').
unicode_name(0x23B1, 'UPPER RIGHT OR LOWER LEFT CURLY BRACKET SECTION').
unicode_name(0x23B2, 'SUMMATION TOP').
unicode_name(0x23B3, 'SUMMATION BOTTOM').
unicode_name(0x23DC, 'TOP PARENTHESIS').
unicode_name(0x23DD, 'BOTTOM PARENTHESIS').
unicode_name(0x23DE, 'TOP CURLY BRACKET').
unicode_name(0x23DF, 'BOTTOM CURLY BRACKET').
unicode_name(0x23E0, 'TOP TORTOISE SHELL BRACKET').
unicode_name(0x23E1, 'BOTTOM TORTOISE SHELL BRACKET').
unicode_name(0x25B7, 'WHITE RIGHT-POINTING TRIANGLE').
unicode_name(0x25C1, 'WHITE LEFT-POINTING TRIANGLE').
unicode_name(0x25F8, 'UPPER LEFT TRIANGLE').
unicode_name(0x25F9, 'UPPER RIGHT TRIANGLE').
unicode_name(0x25FA, 'LOWER LEFT TRIANGLE').
unicode_name(0x25FB, 'WHITE MEDIUM SQUARE').
unicode_name(0x25FC, 'BLACK MEDIUM SQUARE').
unicode_name(0x25FD, 'WHITE MEDIUM SMALL SQUARE').
unicode_name(0x25FE, 'BLACK MEDIUM SMALL SQUARE').
unicode_name(0x25FF, 'LOWER RIGHT TRIANGLE').
unicode_name(0x266F, 'MUSIC SHARP SIGN').
unicode_name(0x27C0, 'THREE DIMENSIONAL ANGLE').
unicode_name(0x27C1, 'WHITE TRIANGLE CONTAINING SMALL WHITE TRIANGLE').
unicode_name(0x27C2, 'PERPENDICULAR').
unicode_name(0x27C3, 'OPEN SUBSET').
unicode_name(0x27C4, 'OPEN SUPERSET').
unicode_name(0x27C7, 'OR WITH DOT INSIDE').
unicode_name(0x27C8, 'REVERSE SOLIDUS PRECEDING SUBSET').
unicode_name(0x27C9, 'SUPERSET PRECEDING SOLIDUS').
unicode_name(0x27CA, 'VERTICAL BAR WITH HORIZONTAL STROKE').
unicode_name(0x27CB, 'MATHEMATICAL RISING DIAGONAL').
unicode_name(0x27CC, 'LONG DIVISION').
unicode_name(0x27CD, 'MATHEMATICAL FALLING DIAGONAL').
unicode_name(0x27CE, 'SQUARED LOGICAL AND').
unicode_name(0x27CF, 'SQUARED LOGICAL OR').
unicode_name(0x27D0, 'WHITE DIAMOND WITH CENTRED DOT').
unicode_name(0x27D1, 'AND WITH DOT').
unicode_name(0x27D2, 'ELEMENT OF OPENING UPWARDS').
unicode_name(0x27D3, 'LOWER RIGHT CORNER WITH DOT').
unicode_name(0x27D4, 'UPPER LEFT CORNER WITH DOT').
unicode_name(0x27D5, 'LEFT OUTER JOIN').
unicode_name(0x27D6, 'RIGHT OUTER JOIN').
unicode_name(0x27D7, 'FULL OUTER JOIN').
unicode_name(0x27D8, 'LARGE UP TACK').
unicode_name(0x27D9, 'LARGE DOWN TACK').
unicode_name(0x27DA, 'LEFT AND RIGHT DOUBLE TURNSTILE').
unicode_name(0x27DB, 'LEFT AND RIGHT TACK').
unicode_name(0x27DC, 'LEFT MULTIMAP').
unicode_name(0x27DD, 'LONG RIGHT TACK').
unicode_name(0x27DE, 'LONG LEFT TACK').
unicode_name(0x27DF, 'UP TACK WITH CIRCLE ABOVE').
unicode_name(0x27E0, 'LOZENGE DIVIDED BY HORIZONTAL RULE').
unicode_name(0x27E1, 'WHITE CONCAVE-SIDED DIAMOND').
unicode_name(0x27E2, 'WHITE CONCAVE-SIDED DIAMOND WITH LEFTWARDS TICK').
unicode_name(0x27E3, 'WHITE CONCAVE-SIDED DIAMOND WITH RIGHTWARDS TICK').
unicode_name(0x27E4, 'WHITE SQUARE WITH LEFTWARDS TICK').
unicode_name(0x27E5, 'WHITE SQUARE WITH RIGHTWARDS TICK').
unicode_name(0x27F0, 'UPWARDS QUADRUPLE ARROW').
unicode_name(0x27F1, 'DOWNWARDS QUADRUPLE ARROW').
unicode_name(0x27F2, 'ANTICLOCKWISE GAPPED CIRCLE ARROW').
unicode_name(0x27F3, 'CLOCKWISE GAPPED CIRCLE ARROW').
unicode_name(0x27F4, 'RIGHT ARROW WITH CIRCLED PLUS').
unicode_name(0x27F5, 'LONG LEFTWARDS ARROW').
unicode_name(0x27F6, 'LONG RIGHTWARDS ARROW').
unicode_name(0x27F7, 'LONG LEFT RIGHT ARROW').
unicode_name(0x27F8, 'LONG LEFTWARDS DOUBLE ARROW').
unicode_name(0x27F9, 'LONG RIGHTWARDS DOUBLE ARROW').
unicode_name(0x27FA, 'LONG LEFT RIGHT DOUBLE ARROW').
unicode_name(0x27FB, 'LONG LEFTWARDS ARROW FROM BAR').
unicode_name(0x27FC, 'LONG RIGHTWARDS ARROW FROM BAR').
unicode_name(0x27FD, 'LONG LEFTWARDS DOUBLE ARROW FROM BAR').
unicode_name(0x27FE, 'LONG RIGHTWARDS DOUBLE ARROW FROM BAR').
unicode_name(0x27FF, 'LONG RIGHTWARDS SQUIGGLE ARROW').
unicode_name(0x2900, 'RIGHTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE').
unicode_name(0x2901, 'RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE').
unicode_name(0x2902, 'LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE').
unicode_name(0x2903, 'RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE').
unicode_name(0x2904, 'LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE').
unicode_name(0x2905, 'RIGHTWARDS TWO-HEADED ARROW FROM BAR').
unicode_name(0x2906, 'LEFTWARDS DOUBLE ARROW FROM BAR').
unicode_name(0x2907, 'RIGHTWARDS DOUBLE ARROW FROM BAR').
unicode_name(0x2908, 'DOWNWARDS ARROW WITH HORIZONTAL STROKE').
unicode_name(0x2909, 'UPWARDS ARROW WITH HORIZONTAL STROKE').
unicode_name(0x290A, 'UPWARDS TRIPLE ARROW').
unicode_name(0x290B, 'DOWNWARDS TRIPLE ARROW').
unicode_name(0x290C, 'LEFTWARDS DOUBLE DASH ARROW').
unicode_name(0x290D, 'RIGHTWARDS DOUBLE DASH ARROW').
unicode_name(0x290E, 'LEFTWARDS TRIPLE DASH ARROW').
unicode_name(0x290F, 'RIGHTWARDS TRIPLE DASH ARROW').
unicode_name(0x2910, 'RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW').
unicode_name(0x2911, 'RIGHTWARDS ARROW WITH DOTTED STEM').
unicode_name(0x2912, 'UPWARDS ARROW TO BAR').
unicode_name(0x2913, 'DOWNWARDS ARROW TO BAR').
unicode_name(0x2914, 'RIGHTWARDS ARROW WITH TAIL WITH VERTICAL STROKE').
unicode_name(0x2915, 'RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE').
unicode_name(0x2916, 'RIGHTWARDS TWO-HEADED ARROW WITH TAIL').
unicode_name(0x2917, 'RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE').
unicode_name(0x2918, 'RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE').
unicode_name(0x2919, 'LEFTWARDS ARROW-TAIL').
unicode_name(0x291A, 'RIGHTWARDS ARROW-TAIL').
unicode_name(0x291B, 'LEFTWARDS DOUBLE ARROW-TAIL').
unicode_name(0x291C, 'RIGHTWARDS DOUBLE ARROW-TAIL').
unicode_name(0x291D, 'LEFTWARDS ARROW TO BLACK DIAMOND').
unicode_name(0x291E, 'RIGHTWARDS ARROW TO BLACK DIAMOND').
unicode_name(0x291F, 'LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND').
unicode_name(0x2920, 'RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND').
unicode_name(0x2921, 'NORTH WEST AND SOUTH EAST ARROW').
unicode_name(0x2922, 'NORTH EAST AND SOUTH WEST ARROW').
unicode_name(0x2923, 'NORTH WEST ARROW WITH HOOK').
unicode_name(0x2924, 'NORTH EAST ARROW WITH HOOK').
unicode_name(0x2925, 'SOUTH EAST ARROW WITH HOOK').
unicode_name(0x2926, 'SOUTH WEST ARROW WITH HOOK').
unicode_name(0x2927, 'NORTH WEST ARROW AND NORTH EAST ARROW').
unicode_name(0x2928, 'NORTH EAST ARROW AND SOUTH EAST ARROW').
unicode_name(0x2929, 'SOUTH EAST ARROW AND SOUTH WEST ARROW').
unicode_name(0x292A, 'SOUTH WEST ARROW AND NORTH WEST ARROW').
unicode_name(0x292B, 'RISING DIAGONAL CROSSING FALLING DIAGONAL').
unicode_name(0x292C, 'FALLING DIAGONAL CROSSING RISING DIAGONAL').
unicode_name(0x292D, 'SOUTH EAST ARROW CROSSING NORTH EAST ARROW').
unicode_name(0x292E, 'NORTH EAST ARROW CROSSING SOUTH EAST ARROW').
unicode_name(0x292F, 'FALLING DIAGONAL CROSSING NORTH EAST ARROW').
unicode_name(0x2930, 'RISING DIAGONAL CROSSING SOUTH EAST ARROW').
unicode_name(0x2931, 'NORTH EAST ARROW CROSSING NORTH WEST ARROW').
unicode_name(0x2932, 'NORTH WEST ARROW CROSSING NORTH EAST ARROW').
unicode_name(0x2933, 'WAVE ARROW POINTING DIRECTLY RIGHT').
unicode_name(0x2934, 'ARROW POINTING RIGHTWARDS THEN CURVING UPWARDS').
unicode_name(0x2935, 'ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS').
unicode_name(0x2936, 'ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS').
unicode_name(0x2937, 'ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS').
unicode_name(0x2938, 'RIGHT-SIDE ARC CLOCKWISE ARROW').
unicode_name(0x2939, 'LEFT-SIDE ARC ANTICLOCKWISE ARROW').
unicode_name(0x293A, 'TOP ARC ANTICLOCKWISE ARROW').
unicode_name(0x293B, 'BOTTOM ARC ANTICLOCKWISE ARROW').
unicode_name(0x293C, 'TOP ARC CLOCKWISE ARROW WITH MINUS').
unicode_name(0x293D, 'TOP ARC ANTICLOCKWISE ARROW WITH PLUS').
unicode_name(0x293E, 'LOWER RIGHT SEMICIRCULAR CLOCKWISE ARROW').
unicode_name(0x293F, 'LOWER LEFT SEMICIRCULAR ANTICLOCKWISE ARROW').
unicode_name(0x2940, 'ANTICLOCKWISE CLOSED CIRCLE ARROW').
unicode_name(0x2941, 'CLOCKWISE CLOSED CIRCLE ARROW').
unicode_name(0x2942, 'RIGHTWARDS ARROW ABOVE SHORT LEFTWARDS ARROW').
unicode_name(0x2943, 'LEFTWARDS ARROW ABOVE SHORT RIGHTWARDS ARROW').
unicode_name(0x2944, 'SHORT RIGHTWARDS ARROW ABOVE LEFTWARDS ARROW').
unicode_name(0x2945, 'RIGHTWARDS ARROW WITH PLUS BELOW').
unicode_name(0x2946, 'LEFTWARDS ARROW WITH PLUS BELOW').
unicode_name(0x2947, 'RIGHTWARDS ARROW THROUGH X').
unicode_name(0x2948, 'LEFT RIGHT ARROW THROUGH SMALL CIRCLE').
unicode_name(0x2949, 'UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE').
unicode_name(0x294A, 'LEFT BARB UP RIGHT BARB DOWN HARPOON').
unicode_name(0x294B, 'LEFT BARB DOWN RIGHT BARB UP HARPOON').
unicode_name(0x294C, 'UP BARB RIGHT DOWN BARB LEFT HARPOON').
unicode_name(0x294D, 'UP BARB LEFT DOWN BARB RIGHT HARPOON').
unicode_name(0x294E, 'LEFT BARB UP RIGHT BARB UP HARPOON').
unicode_name(0x294F, 'UP BARB RIGHT DOWN BARB RIGHT HARPOON').
unicode_name(0x2950, 'LEFT BARB DOWN RIGHT BARB DOWN HARPOON').
unicode_name(0x2951, 'UP BARB LEFT DOWN BARB LEFT HARPOON').
unicode_name(0x2952, 'LEFTWARDS HARPOON WITH BARB UP TO BAR').
unicode_name(0x2953, 'RIGHTWARDS HARPOON WITH BARB UP TO BAR').
unicode_name(0x2954, 'UPWARDS HARPOON WITH BARB RIGHT TO BAR').
unicode_name(0x2955, 'DOWNWARDS HARPOON WITH BARB RIGHT TO BAR').
unicode_name(0x2956, 'LEFTWARDS HARPOON WITH BARB DOWN TO BAR').
unicode_name(0x2957, 'RIGHTWARDS HARPOON WITH BARB DOWN TO BAR').
unicode_name(0x2958, 'UPWARDS HARPOON WITH BARB LEFT TO BAR').
unicode_name(0x2959, 'DOWNWARDS HARPOON WITH BARB LEFT TO BAR').
unicode_name(0x295A, 'LEFTWARDS HARPOON WITH BARB UP FROM BAR').
unicode_name(0x295B, 'RIGHTWARDS HARPOON WITH BARB UP FROM BAR').
unicode_name(0x295C, 'UPWARDS HARPOON WITH BARB RIGHT FROM BAR').
unicode_name(0x295D, 'DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR').
unicode_name(0x295E, 'LEFTWARDS HARPOON WITH BARB DOWN FROM BAR').
unicode_name(0x295F, 'RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR').
unicode_name(0x2960, 'UPWARDS HARPOON WITH BARB LEFT FROM BAR').
unicode_name(0x2961, 'DOWNWARDS HARPOON WITH BARB LEFT FROM BAR').
unicode_name(0x2962, 'LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN').
unicode_name(0x2963, 'UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT').
unicode_name(0x2964, 'RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN').
unicode_name(0x2965, 'DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT').
unicode_name(0x2966, 'LEFTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB UP').
unicode_name(0x2967, 'LEFTWARDS HARPOON WITH BARB DOWN ABOVE RIGHTWARDS HARPOON WITH BARB DOWN').
unicode_name(0x2968, 'RIGHTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB UP').
unicode_name(0x2969, 'RIGHTWARDS HARPOON WITH BARB DOWN ABOVE LEFTWARDS HARPOON WITH BARB DOWN').
unicode_name(0x296A, 'LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH').
unicode_name(0x296B, 'LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH').
unicode_name(0x296C, 'RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH').
unicode_name(0x296D, 'RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH').
unicode_name(0x296E, 'UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT').
unicode_name(0x296F, 'DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT').
unicode_name(0x2970, 'RIGHT DOUBLE ARROW WITH ROUNDED HEAD').
unicode_name(0x2971, 'EQUALS SIGN ABOVE RIGHTWARDS ARROW').
unicode_name(0x2972, 'TILDE OPERATOR ABOVE RIGHTWARDS ARROW').
unicode_name(0x2973, 'LEFTWARDS ARROW ABOVE TILDE OPERATOR').
unicode_name(0x2974, 'RIGHTWARDS ARROW ABOVE TILDE OPERATOR').
unicode_name(0x2975, 'RIGHTWARDS ARROW ABOVE ALMOST EQUAL TO').
unicode_name(0x2976, 'LESS-THAN ABOVE LEFTWARDS ARROW').
unicode_name(0x2977, 'LEFTWARDS ARROW THROUGH LESS-THAN').
unicode_name(0x2978, 'GREATER-THAN ABOVE RIGHTWARDS ARROW').
unicode_name(0x2979, 'SUBSET ABOVE RIGHTWARDS ARROW').
unicode_name(0x297A, 'LEFTWARDS ARROW THROUGH SUBSET').
unicode_name(0x297B, 'SUPERSET ABOVE LEFTWARDS ARROW').
unicode_name(0x297C, 'LEFT FISH TAIL').
unicode_name(0x297D, 'RIGHT FISH TAIL').
unicode_name(0x297E, 'UP FISH TAIL').
unicode_name(0x297F, 'DOWN FISH TAIL').
unicode_name(0x2980, 'TRIPLE VERTICAL BAR DELIMITER').
unicode_name(0x2981, 'Z NOTATION SPOT').
unicode_name(0x2982, 'Z NOTATION TYPE COLON').
unicode_name(0x2999, 'DOTTED FENCE').
unicode_name(0x299A, 'VERTICAL ZIGZAG LINE').
unicode_name(0x299B, 'MEASURED ANGLE OPENING LEFT').
unicode_name(0x299C, 'RIGHT ANGLE VARIANT WITH SQUARE').
unicode_name(0x299D, 'MEASURED RIGHT ANGLE WITH DOT').
unicode_name(0x299E, 'ANGLE WITH S INSIDE').
unicode_name(0x299F, 'ACUTE ANGLE').
unicode_name(0x29A0, 'SPHERICAL ANGLE OPENING LEFT').
unicode_name(0x29A1, 'SPHERICAL ANGLE OPENING UP').
unicode_name(0x29A2, 'TURNED ANGLE').
unicode_name(0x29A3, 'REVERSED ANGLE').
unicode_name(0x29A4, 'ANGLE WITH UNDERBAR').
unicode_name(0x29A5, 'REVERSED ANGLE WITH UNDERBAR').
unicode_name(0x29A6, 'OBLIQUE ANGLE OPENING UP').
unicode_name(0x29A7, 'OBLIQUE ANGLE OPENING DOWN').
unicode_name(0x29A8, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND RIGHT').
unicode_name(0x29A9, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND LEFT').
unicode_name(0x29AA, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND RIGHT').
unicode_name(0x29AB, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND LEFT').
unicode_name(0x29AC, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND UP').
unicode_name(0x29AD, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND UP').
unicode_name(0x29AE, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND DOWN').
unicode_name(0x29AF, 'MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND DOWN').
unicode_name(0x29B0, 'REVERSED EMPTY SET').
unicode_name(0x29B1, 'EMPTY SET WITH OVERBAR').
unicode_name(0x29B2, 'EMPTY SET WITH SMALL CIRCLE ABOVE').
unicode_name(0x29B3, 'EMPTY SET WITH RIGHT ARROW ABOVE').
unicode_name(0x29B4, 'EMPTY SET WITH LEFT ARROW ABOVE').
unicode_name(0x29B5, 'CIRCLE WITH HORIZONTAL BAR').
unicode_name(0x29B6, 'CIRCLED VERTICAL BAR').
unicode_name(0x29B7, 'CIRCLED PARALLEL').
unicode_name(0x29B8, 'CIRCLED REVERSE SOLIDUS').
unicode_name(0x29B9, 'CIRCLED PERPENDICULAR').
unicode_name(0x29BA, 'CIRCLE DIVIDED BY HORIZONTAL BAR AND TOP HALF DIVIDED BY VERTICAL BAR').
unicode_name(0x29BB, 'CIRCLE WITH SUPERIMPOSED X').
unicode_name(0x29BC, 'CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN').
unicode_name(0x29BD, 'UP ARROW THROUGH CIRCLE').
unicode_name(0x29BE, 'CIRCLED WHITE BULLET').
unicode_name(0x29BF, 'CIRCLED BULLET').
unicode_name(0x29C0, 'CIRCLED LESS-THAN').
unicode_name(0x29C1, 'CIRCLED GREATER-THAN').
unicode_name(0x29C2, 'CIRCLE WITH SMALL CIRCLE TO THE RIGHT').
unicode_name(0x29C3, 'CIRCLE WITH TWO HORIZONTAL STROKES TO THE RIGHT').
unicode_name(0x29C4, 'SQUARED RISING DIAGONAL SLASH').
unicode_name(0x29C5, 'SQUARED FALLING DIAGONAL SLASH').
unicode_name(0x29C6, 'SQUARED ASTERISK').
unicode_name(0x29C7, 'SQUARED SMALL CIRCLE').
unicode_name(0x29C8, 'SQUARED SQUARE').
unicode_name(0x29C9, 'TWO JOINED SQUARES').
unicode_name(0x29CA, 'TRIANGLE WITH DOT ABOVE').
unicode_name(0x29CB, 'TRIANGLE WITH UNDERBAR').
unicode_name(0x29CC, 'S IN TRIANGLE').
unicode_name(0x29CD, 'TRIANGLE WITH SERIFS AT BOTTOM').
unicode_name(0x29CE, 'RIGHT TRIANGLE ABOVE LEFT TRIANGLE').
unicode_name(0x29CF, 'LEFT TRIANGLE BESIDE VERTICAL BAR').
unicode_name(0x29D0, 'VERTICAL BAR BESIDE RIGHT TRIANGLE').
unicode_name(0x29D1, 'BOWTIE WITH LEFT HALF BLACK').
unicode_name(0x29D2, 'BOWTIE WITH RIGHT HALF BLACK').
unicode_name(0x29D3, 'BLACK BOWTIE').
unicode_name(0x29D4, 'TIMES WITH LEFT HALF BLACK').
unicode_name(0x29D5, 'TIMES WITH RIGHT HALF BLACK').
unicode_name(0x29D6, 'WHITE HOURGLASS').
unicode_name(0x29D7, 'BLACK HOURGLASS').
unicode_name(0x29DC, 'INCOMPLETE INFINITY').
unicode_name(0x29DD, 'TIE OVER INFINITY').
unicode_name(0x29DE, 'INFINITY NEGATED WITH VERTICAL BAR').
unicode_name(0x29DF, 'DOUBLE-ENDED MULTIMAP').
unicode_name(0x29E0, 'SQUARE WITH CONTOURED OUTLINE').
unicode_name(0x29E1, 'INCREASES AS').
unicode_name(0x29E2, 'SHUFFLE PRODUCT').
unicode_name(0x29E3, 'EQUALS SIGN AND SLANTED PARALLEL').
unicode_name(0x29E4, 'EQUALS SIGN AND SLANTED PARALLEL WITH TILDE ABOVE').
unicode_name(0x29E5, 'IDENTICAL TO AND SLANTED PARALLEL').
unicode_name(0x29E6, 'GLEICH STARK').
unicode_name(0x29E7, 'THERMODYNAMIC').
unicode_name(0x29E8, 'DOWN-POINTING TRIANGLE WITH LEFT HALF BLACK').
unicode_name(0x29E9, 'DOWN-POINTING TRIANGLE WITH RIGHT HALF BLACK').
unicode_name(0x29EA, 'BLACK DIAMOND WITH DOWN ARROW').
unicode_name(0x29EB, 'BLACK LOZENGE').
unicode_name(0x29EC, 'WHITE CIRCLE WITH DOWN ARROW').
unicode_name(0x29ED, 'BLACK CIRCLE WITH DOWN ARROW').
unicode_name(0x29EE, 'ERROR-BARRED WHITE SQUARE').
unicode_name(0x29EF, 'ERROR-BARRED BLACK SQUARE').
unicode_name(0x29F0, 'ERROR-BARRED WHITE DIAMOND').
unicode_name(0x29F1, 'ERROR-BARRED BLACK DIAMOND').
unicode_name(0x29F2, 'ERROR-BARRED WHITE CIRCLE').
unicode_name(0x29F3, 'ERROR-BARRED BLACK CIRCLE').
unicode_name(0x29F4, 'RULE-DELAYED').
unicode_name(0x29F5, 'REVERSE SOLIDUS OPERATOR').
unicode_name(0x29F6, 'SOLIDUS WITH OVERBAR').
unicode_name(0x29F7, 'REVERSE SOLIDUS WITH HORIZONTAL STROKE').
unicode_name(0x29F8, 'BIG SOLIDUS').
unicode_name(0x29F9, 'BIG REVERSE SOLIDUS').
unicode_name(0x29FA, 'DOUBLE PLUS').
unicode_name(0x29FB, 'TRIPLE PLUS').
unicode_name(0x29FE, 'TINY').
unicode_name(0x29FF, 'MINY').
unicode_name(0x2A00, 'N-ARY CIRCLED DOT OPERATOR').
unicode_name(0x2A01, 'N-ARY CIRCLED PLUS OPERATOR').
unicode_name(0x2A02, 'N-ARY CIRCLED TIMES OPERATOR').
unicode_name(0x2A03, 'N-ARY UNION OPERATOR WITH DOT').
unicode_name(0x2A04, 'N-ARY UNION OPERATOR WITH PLUS').
unicode_name(0x2A05, 'N-ARY SQUARE INTERSECTION OPERATOR').
unicode_name(0x2A06, 'N-ARY SQUARE UNION OPERATOR').
unicode_name(0x2A07, 'TWO LOGICAL AND OPERATOR').
unicode_name(0x2A08, 'TWO LOGICAL OR OPERATOR').
unicode_name(0x2A09, 'N-ARY TIMES OPERATOR').
unicode_name(0x2A0A, 'MODULO TWO SUM').
unicode_name(0x2A0B, 'SUMMATION WITH INTEGRAL').
unicode_name(0x2A0C, 'QUADRUPLE INTEGRAL OPERATOR').
unicode_name(0x2A0D, 'FINITE PART INTEGRAL').
unicode_name(0x2A0E, 'INTEGRAL WITH DOUBLE STROKE').
unicode_name(0x2A0F, 'INTEGRAL AVERAGE WITH SLASH').
unicode_name(0x2A10, 'CIRCULATION FUNCTION').
unicode_name(0x2A11, 'ANTICLOCKWISE INTEGRATION').
unicode_name(0x2A12, 'LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE').
unicode_name(0x2A13, 'LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE').
unicode_name(0x2A14, 'LINE INTEGRATION NOT INCLUDING THE POLE').
unicode_name(0x2A15, 'INTEGRAL AROUND A POINT OPERATOR').
unicode_name(0x2A16, 'QUATERNION INTEGRAL OPERATOR').
unicode_name(0x2A17, 'INTEGRAL WITH LEFTWARDS ARROW WITH HOOK').
unicode_name(0x2A18, 'INTEGRAL WITH TIMES SIGN').
unicode_name(0x2A19, 'INTEGRAL WITH INTERSECTION').
unicode_name(0x2A1A, 'INTEGRAL WITH UNION').
unicode_name(0x2A1B, 'INTEGRAL WITH OVERBAR').
unicode_name(0x2A1C, 'INTEGRAL WITH UNDERBAR').
unicode_name(0x2A1D, 'JOIN').
unicode_name(0x2A1E, 'LARGE LEFT TRIANGLE OPERATOR').
unicode_name(0x2A1F, 'Z NOTATION SCHEMA COMPOSITION').
unicode_name(0x2A20, 'Z NOTATION SCHEMA PIPING').
unicode_name(0x2A21, 'Z NOTATION SCHEMA PROJECTION').
unicode_name(0x2A22, 'PLUS SIGN WITH SMALL CIRCLE ABOVE').
unicode_name(0x2A23, 'PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE').
unicode_name(0x2A24, 'PLUS SIGN WITH TILDE ABOVE').
unicode_name(0x2A25, 'PLUS SIGN WITH DOT BELOW').
unicode_name(0x2A26, 'PLUS SIGN WITH TILDE BELOW').
unicode_name(0x2A27, 'PLUS SIGN WITH SUBSCRIPT TWO').
unicode_name(0x2A28, 'PLUS SIGN WITH BLACK TRIANGLE').
unicode_name(0x2A29, 'MINUS SIGN WITH COMMA ABOVE').
unicode_name(0x2A2A, 'MINUS SIGN WITH DOT BELOW').
unicode_name(0x2A2B, 'MINUS SIGN WITH FALLING DOTS').
unicode_name(0x2A2C, 'MINUS SIGN WITH RISING DOTS').
unicode_name(0x2A2D, 'PLUS SIGN IN LEFT HALF CIRCLE').
unicode_name(0x2A2E, 'PLUS SIGN IN RIGHT HALF CIRCLE').
unicode_name(0x2A2F, 'VECTOR OR CROSS PRODUCT').
unicode_name(0x2A30, 'MULTIPLICATION SIGN WITH DOT ABOVE').
unicode_name(0x2A31, 'MULTIPLICATION SIGN WITH UNDERBAR').
unicode_name(0x2A32, 'SEMIDIRECT PRODUCT WITH BOTTOM CLOSED').
unicode_name(0x2A33, 'SMASH PRODUCT').
unicode_name(0x2A34, 'MULTIPLICATION SIGN IN LEFT HALF CIRCLE').
unicode_name(0x2A35, 'MULTIPLICATION SIGN IN RIGHT HALF CIRCLE').
unicode_name(0x2A36, 'CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT').
unicode_name(0x2A37, 'MULTIPLICATION SIGN IN DOUBLE CIRCLE').
unicode_name(0x2A38, 'CIRCLED DIVISION SIGN').
unicode_name(0x2A39, 'PLUS SIGN IN TRIANGLE').
unicode_name(0x2A3A, 'MINUS SIGN IN TRIANGLE').
unicode_name(0x2A3B, 'MULTIPLICATION SIGN IN TRIANGLE').
unicode_name(0x2A3C, 'INTERIOR PRODUCT').
unicode_name(0x2A3D, 'RIGHTHAND INTERIOR PRODUCT').
unicode_name(0x2A3E, 'Z NOTATION RELATIONAL COMPOSITION').
unicode_name(0x2A3F, 'AMALGAMATION OR COPRODUCT').
unicode_name(0x2A40, 'INTERSECTION WITH DOT').
unicode_name(0x2A41, 'UNION WITH MINUS SIGN').
unicode_name(0x2A42, 'UNION WITH OVERBAR').
unicode_name(0x2A43, 'INTERSECTION WITH OVERBAR').
unicode_name(0x2A44, 'INTERSECTION WITH LOGICAL AND').
unicode_name(0x2A45, 'UNION WITH LOGICAL OR').
unicode_name(0x2A46, 'UNION ABOVE INTERSECTION').
unicode_name(0x2A47, 'INTERSECTION ABOVE UNION').
unicode_name(0x2A48, 'UNION ABOVE BAR ABOVE INTERSECTION').
unicode_name(0x2A49, 'INTERSECTION ABOVE BAR ABOVE UNION').
unicode_name(0x2A4A, 'UNION BESIDE AND JOINED WITH UNION').
unicode_name(0x2A4B, 'INTERSECTION BESIDE AND JOINED WITH INTERSECTION').
unicode_name(0x2A4C, 'CLOSED UNION WITH SERIFS').
unicode_name(0x2A4D, 'CLOSED INTERSECTION WITH SERIFS').
unicode_name(0x2A4E, 'DOUBLE SQUARE INTERSECTION').
unicode_name(0x2A4F, 'DOUBLE SQUARE UNION').
unicode_name(0x2A50, 'CLOSED UNION WITH SERIFS AND SMASH PRODUCT').
unicode_name(0x2A51, 'LOGICAL AND WITH DOT ABOVE').
unicode_name(0x2A52, 'LOGICAL OR WITH DOT ABOVE').
unicode_name(0x2A53, 'DOUBLE LOGICAL AND').
unicode_name(0x2A54, 'DOUBLE LOGICAL OR').
unicode_name(0x2A55, 'TWO INTERSECTING LOGICAL AND').
unicode_name(0x2A56, 'TWO INTERSECTING LOGICAL OR').
unicode_name(0x2A57, 'SLOPING LARGE OR').
unicode_name(0x2A58, 'SLOPING LARGE AND').
unicode_name(0x2A59, 'LOGICAL OR OVERLAPPING LOGICAL AND').
unicode_name(0x2A5A, 'LOGICAL AND WITH MIDDLE STEM').
unicode_name(0x2A5B, 'LOGICAL OR WITH MIDDLE STEM').
unicode_name(0x2A5C, 'LOGICAL AND WITH HORIZONTAL DASH').
unicode_name(0x2A5D, 'LOGICAL OR WITH HORIZONTAL DASH').
unicode_name(0x2A5E, 'LOGICAL AND WITH DOUBLE OVERBAR').
unicode_name(0x2A5F, 'LOGICAL AND WITH UNDERBAR').
unicode_name(0x2A60, 'LOGICAL AND WITH DOUBLE UNDERBAR').
unicode_name(0x2A61, 'SMALL VEE WITH UNDERBAR').
unicode_name(0x2A62, 'LOGICAL OR WITH DOUBLE OVERBAR').
unicode_name(0x2A63, 'LOGICAL OR WITH DOUBLE UNDERBAR').
unicode_name(0x2A64, 'Z NOTATION DOMAIN ANTIRESTRICTION').
unicode_name(0x2A65, 'Z NOTATION RANGE ANTIRESTRICTION').
unicode_name(0x2A66, 'EQUALS SIGN WITH DOT BELOW').
unicode_name(0x2A67, 'IDENTICAL WITH DOT ABOVE').
unicode_name(0x2A68, 'TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE').
unicode_name(0x2A69, 'TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE').
unicode_name(0x2A6A, 'TILDE OPERATOR WITH DOT ABOVE').
unicode_name(0x2A6B, 'TILDE OPERATOR WITH RISING DOTS').
unicode_name(0x2A6C, 'SIMILAR MINUS SIMILAR').
unicode_name(0x2A6D, 'CONGRUENT WITH DOT ABOVE').
unicode_name(0x2A6E, 'EQUALS WITH ASTERISK').
unicode_name(0x2A6F, 'ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT').
unicode_name(0x2A70, 'APPROXIMATELY EQUAL OR EQUAL TO').
unicode_name(0x2A71, 'EQUALS SIGN ABOVE PLUS SIGN').
unicode_name(0x2A72, 'PLUS SIGN ABOVE EQUALS SIGN').
unicode_name(0x2A73, 'EQUALS SIGN ABOVE TILDE OPERATOR').
unicode_name(0x2A74, 'DOUBLE COLON EQUAL').
unicode_name(0x2A75, 'TWO CONSECUTIVE EQUALS SIGNS').
unicode_name(0x2A76, 'THREE CONSECUTIVE EQUALS SIGNS').
unicode_name(0x2A77, 'EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW').
unicode_name(0x2A78, 'EQUIVALENT WITH FOUR DOTS ABOVE').
unicode_name(0x2A79, 'LESS-THAN WITH CIRCLE INSIDE').
unicode_name(0x2A7A, 'GREATER-THAN WITH CIRCLE INSIDE').
unicode_name(0x2A7B, 'LESS-THAN WITH QUESTION MARK ABOVE').
unicode_name(0x2A7C, 'GREATER-THAN WITH QUESTION MARK ABOVE').
unicode_name(0x2A7D, 'LESS-THAN OR SLANTED EQUAL TO').
unicode_name(0x2A7E, 'GREATER-THAN OR SLANTED EQUAL TO').
unicode_name(0x2A7F, 'LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE').
unicode_name(0x2A80, 'GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE').
unicode_name(0x2A81, 'LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE').
unicode_name(0x2A82, 'GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE').
unicode_name(0x2A83, 'LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT').
unicode_name(0x2A84, 'GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT').
unicode_name(0x2A85, 'LESS-THAN OR APPROXIMATE').
unicode_name(0x2A86, 'GREATER-THAN OR APPROXIMATE').
unicode_name(0x2A87, 'LESS-THAN AND SINGLE-LINE NOT EQUAL TO').
unicode_name(0x2A88, 'GREATER-THAN AND SINGLE-LINE NOT EQUAL TO').
unicode_name(0x2A89, 'LESS-THAN AND NOT APPROXIMATE').
unicode_name(0x2A8A, 'GREATER-THAN AND NOT APPROXIMATE').
unicode_name(0x2A8B, 'LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN').
unicode_name(0x2A8C, 'GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN').
unicode_name(0x2A8D, 'LESS-THAN ABOVE SIMILAR OR EQUAL').
unicode_name(0x2A8E, 'GREATER-THAN ABOVE SIMILAR OR EQUAL').
unicode_name(0x2A8F, 'LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN').
unicode_name(0x2A90, 'GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN').
unicode_name(0x2A91, 'LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL').
unicode_name(0x2A92, 'GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL').
unicode_name(0x2A93, 'LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL').
unicode_name(0x2A94, 'GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL').
unicode_name(0x2A95, 'SLANTED EQUAL TO OR LESS-THAN').
unicode_name(0x2A96, 'SLANTED EQUAL TO OR GREATER-THAN').
unicode_name(0x2A97, 'SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE').
unicode_name(0x2A98, 'SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE').
unicode_name(0x2A99, 'DOUBLE-LINE EQUAL TO OR LESS-THAN').
unicode_name(0x2A9A, 'DOUBLE-LINE EQUAL TO OR GREATER-THAN').
unicode_name(0x2A9B, 'DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN').
unicode_name(0x2A9C, 'DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN').
unicode_name(0x2A9D, 'SIMILAR OR LESS-THAN').
unicode_name(0x2A9E, 'SIMILAR OR GREATER-THAN').
unicode_name(0x2A9F, 'SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN').
unicode_name(0x2AA0, 'SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN').
unicode_name(0x2AA1, 'DOUBLE NESTED LESS-THAN').
unicode_name(0x2AA2, 'DOUBLE NESTED GREATER-THAN').
unicode_name(0x2AA3, 'DOUBLE NESTED LESS-THAN WITH UNDERBAR').
unicode_name(0x2AA4, 'GREATER-THAN OVERLAPPING LESS-THAN').
unicode_name(0x2AA5, 'GREATER-THAN BESIDE LESS-THAN').
unicode_name(0x2AA6, 'LESS-THAN CLOSED BY CURVE').
unicode_name(0x2AA7, 'GREATER-THAN CLOSED BY CURVE').
unicode_name(0x2AA8, 'LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL').
unicode_name(0x2AA9, 'GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL').
unicode_name(0x2AAA, 'SMALLER THAN').
unicode_name(0x2AAB, 'LARGER THAN').
unicode_name(0x2AAC, 'SMALLER THAN OR EQUAL TO').
unicode_name(0x2AAD, 'LARGER THAN OR EQUAL TO').
unicode_name(0x2AAE, 'EQUALS SIGN WITH BUMPY ABOVE').
unicode_name(0x2AAF, 'PRECEDES ABOVE SINGLE-LINE EQUALS SIGN').
unicode_name(0x2AB0, 'SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN').
unicode_name(0x2AB1, 'PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO').
unicode_name(0x2AB2, 'SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO').
unicode_name(0x2AB3, 'PRECEDES ABOVE EQUALS SIGN').
unicode_name(0x2AB4, 'SUCCEEDS ABOVE EQUALS SIGN').
unicode_name(0x2AB5, 'PRECEDES ABOVE NOT EQUAL TO').
unicode_name(0x2AB6, 'SUCCEEDS ABOVE NOT EQUAL TO').
unicode_name(0x2AB7, 'PRECEDES ABOVE ALMOST EQUAL TO').
unicode_name(0x2AB8, 'SUCCEEDS ABOVE ALMOST EQUAL TO').
unicode_name(0x2AB9, 'PRECEDES ABOVE NOT ALMOST EQUAL TO').
unicode_name(0x2ABA, 'SUCCEEDS ABOVE NOT ALMOST EQUAL TO').
unicode_name(0x2ABB, 'DOUBLE PRECEDES').
unicode_name(0x2ABC, 'DOUBLE SUCCEEDS').
unicode_name(0x2ABD, 'SUBSET WITH DOT').
unicode_name(0x2ABE, 'SUPERSET WITH DOT').
unicode_name(0x2ABF, 'SUBSET WITH PLUS SIGN BELOW').
unicode_name(0x2AC0, 'SUPERSET WITH PLUS SIGN BELOW').
unicode_name(0x2AC1, 'SUBSET WITH MULTIPLICATION SIGN BELOW').
unicode_name(0x2AC2, 'SUPERSET WITH MULTIPLICATION SIGN BELOW').
unicode_name(0x2AC3, 'SUBSET OF OR EQUAL TO WITH DOT ABOVE').
unicode_name(0x2AC4, 'SUPERSET OF OR EQUAL TO WITH DOT ABOVE').
unicode_name(0x2AC5, 'SUBSET OF ABOVE EQUALS SIGN').
unicode_name(0x2AC6, 'SUPERSET OF ABOVE EQUALS SIGN').
unicode_name(0x2AC7, 'SUBSET OF ABOVE TILDE OPERATOR').
unicode_name(0x2AC8, 'SUPERSET OF ABOVE TILDE OPERATOR').
unicode_name(0x2AC9, 'SUBSET OF ABOVE ALMOST EQUAL TO').
unicode_name(0x2ACA, 'SUPERSET OF ABOVE ALMOST EQUAL TO').
unicode_name(0x2ACB, 'SUBSET OF ABOVE NOT EQUAL TO').
unicode_name(0x2ACC, 'SUPERSET OF ABOVE NOT EQUAL TO').
unicode_name(0x2ACD, 'SQUARE LEFT OPEN BOX OPERATOR').
unicode_name(0x2ACE, 'SQUARE RIGHT OPEN BOX OPERATOR').
unicode_name(0x2ACF, 'CLOSED SUBSET').
unicode_name(0x2AD0, 'CLOSED SUPERSET').
unicode_name(0x2AD1, 'CLOSED SUBSET OR EQUAL TO').
unicode_name(0x2AD2, 'CLOSED SUPERSET OR EQUAL TO').
unicode_name(0x2AD3, 'SUBSET ABOVE SUPERSET').
unicode_name(0x2AD4, 'SUPERSET ABOVE SUBSET').
unicode_name(0x2AD5, 'SUBSET ABOVE SUBSET').
unicode_name(0x2AD6, 'SUPERSET ABOVE SUPERSET').
unicode_name(0x2AD7, 'SUPERSET BESIDE SUBSET').
unicode_name(0x2AD8, 'SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET').
unicode_name(0x2AD9, 'ELEMENT OF OPENING DOWNWARDS').
unicode_name(0x2ADA, 'PITCHFORK WITH TEE TOP').
unicode_name(0x2ADB, 'TRANSVERSAL INTERSECTION').
unicode_name(0x2ADC, 'FORKING').
unicode_name(0x2ADD, 'NONFORKING').
unicode_name(0x2ADE, 'SHORT LEFT TACK').
unicode_name(0x2ADF, 'SHORT DOWN TACK').
unicode_name(0x2AE0, 'SHORT UP TACK').
unicode_name(0x2AE1, 'PERPENDICULAR WITH S').
unicode_name(0x2AE2, 'VERTICAL BAR TRIPLE RIGHT TURNSTILE').
unicode_name(0x2AE3, 'DOUBLE VERTICAL BAR LEFT TURNSTILE').
unicode_name(0x2AE4, 'VERTICAL BAR DOUBLE LEFT TURNSTILE').
unicode_name(0x2AE5, 'DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE').
unicode_name(0x2AE6, 'LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL').
unicode_name(0x2AE7, 'SHORT DOWN TACK WITH OVERBAR').
unicode_name(0x2AE8, 'SHORT UP TACK WITH UNDERBAR').
unicode_name(0x2AE9, 'SHORT UP TACK ABOVE SHORT DOWN TACK').
unicode_name(0x2AEA, 'DOUBLE DOWN TACK').
unicode_name(0x2AEB, 'DOUBLE UP TACK').
unicode_name(0x2AEC, 'DOUBLE STROKE NOT SIGN').
unicode_name(0x2AED, 'REVERSED DOUBLE STROKE NOT SIGN').
unicode_name(0x2AEE, 'DOES NOT DIVIDE WITH REVERSED NEGATION SLASH').
unicode_name(0x2AEF, 'VERTICAL LINE WITH CIRCLE ABOVE').
unicode_name(0x2AF0, 'VERTICAL LINE WITH CIRCLE BELOW').
unicode_name(0x2AF1, 'DOWN TACK WITH CIRCLE BELOW').
unicode_name(0x2AF2, 'PARALLEL WITH HORIZONTAL STROKE').
unicode_name(0x2AF3, 'PARALLEL WITH TILDE OPERATOR').
unicode_name(0x2AF4, 'TRIPLE VERTICAL BAR BINARY RELATION').
unicode_name(0x2AF5, 'TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE').
unicode_name(0x2AF6, 'TRIPLE COLON OPERATOR').
unicode_name(0x2AF7, 'TRIPLE NESTED LESS-THAN').
unicode_name(0x2AF8, 'TRIPLE NESTED GREATER-THAN').
unicode_name(0x2AF9, 'DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO').
unicode_name(0x2AFA, 'DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO').
unicode_name(0x2AFB, 'TRIPLE SOLIDUS BINARY RELATION').
unicode_name(0x2AFC, 'LARGE TRIPLE VERTICAL BAR OPERATOR').
unicode_name(0x2AFD, 'DOUBLE SOLIDUS OPERATOR').
unicode_name(0x2AFE, 'WHITE VERTICAL BAR').
unicode_name(0x2AFF, 'N-ARY WHITE VERTICAL BAR').
unicode_name(0x2B30, 'LEFT ARROW WITH SMALL CIRCLE').
unicode_name(0x2B31, 'THREE LEFTWARDS ARROWS').
unicode_name(0x2B32, 'LEFT ARROW WITH CIRCLED PLUS').
unicode_name(0x2B33, 'LONG LEFTWARDS SQUIGGLE ARROW').
unicode_name(0x2B34, 'LEFTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE').
unicode_name(0x2B35, 'LEFTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE').
unicode_name(0x2B36, 'LEFTWARDS TWO-HEADED ARROW FROM BAR').
unicode_name(0x2B37, 'LEFTWARDS TWO-HEADED TRIPLE DASH ARROW').
unicode_name(0x2B38, 'LEFTWARDS ARROW WITH DOTTED STEM').
unicode_name(0x2B39, 'LEFTWARDS ARROW WITH TAIL WITH VERTICAL STROKE').
unicode_name(0x2B3A, 'LEFTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE').
unicode_name(0x2B3B, 'LEFTWARDS TWO-HEADED ARROW WITH TAIL').
unicode_name(0x2B3C, 'LEFTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE').
unicode_name(0x2B3D, 'LEFTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE').
unicode_name(0x2B3E, 'LEFTWARDS ARROW THROUGH X').
unicode_name(0x2B3F, 'WAVE ARROW POINTING DIRECTLY LEFT').
unicode_name(0x2B40, 'EQUALS SIGN ABOVE LEFTWARDS ARROW').
unicode_name(0x2B41, 'REVERSE TILDE OPERATOR ABOVE LEFTWARDS ARROW').
unicode_name(0x2B42, 'LEFTWARDS ARROW ABOVE REVERSE ALMOST EQUAL TO').
unicode_name(0x2B43, 'RIGHTWARDS ARROW THROUGH GREATER-THAN').
unicode_name(0x2B44, 'RIGHTWARDS ARROW THROUGH SUPERSET').
unicode_name(0x2B47, 'REVERSE TILDE OPERATOR ABOVE RIGHTWARDS ARROW').
unicode_name(0x2B48, 'RIGHTWARDS ARROW ABOVE REVERSE ALMOST EQUAL TO').
unicode_name(0x2B49, 'TILDE OPERATOR ABOVE LEFTWARDS ARROW').
unicode_name(0x2B4A, 'LEFTWARDS ARROW ABOVE ALMOST EQUAL TO').
unicode_name(0x2B4B, 'LEFTWARDS ARROW ABOVE REVERSE TILDE OPERATOR').
unicode_name(0x2B4C, 'RIGHTWARDS ARROW ABOVE REVERSE TILDE OPERATOR').
unicode_name(0xFB29, 'HEBREW LETTER ALTERNATIVE PLUS SIGN').
unicode_name(0xFE62, 'SMALL PLUS SIGN').
unicode_name(0xFE64, 'SMALL LESS-THAN SIGN').
unicode_name(0xFE65, 'SMALL GREATER-THAN SIGN').
unicode_name(0xFE66, 'SMALL EQUALS SIGN').
unicode_name(0xFF0B, 'FULLWIDTH PLUS SIGN').
unicode_name(0xFF1C, 'FULLWIDTH LESS-THAN SIGN').
unicode_name(0xFF1D, 'FULLWIDTH EQUALS SIGN').
unicode_name(0xFF1E, 'FULLWIDTH GREATER-THAN SIGN').
unicode_name(0xFF5C, 'FULLWIDTH VERTICAL LINE').
unicode_name(0xFF5E, 'FULLWIDTH TILDE').
unicode_name(0xFFE2, 'FULLWIDTH NOT SIGN').
unicode_name(0xFFE9, 'HALFWIDTH LEFTWARDS ARROW').
unicode_name(0xFFEA, 'HALFWIDTH UPWARDS ARROW').
unicode_name(0xFFEB, 'HALFWIDTH RIGHTWARDS ARROW').
unicode_name(0xFFEC, 'HALFWIDTH DOWNWARDS ARROW').
unicode_name(0x1D6C1, 'MATHEMATICAL BOLD NABLA').
unicode_name(0x1D6DB, 'MATHEMATICAL BOLD PARTIAL DIFFERENTIAL').
unicode_name(0x1D6FB, 'MATHEMATICAL ITALIC NABLA').
unicode_name(0x1D715, 'MATHEMATICAL ITALIC PARTIAL DIFFERENTIAL').
unicode_name(0x1D735, 'MATHEMATICAL BOLD ITALIC NABLA').
unicode_name(0x1D74F, 'MATHEMATICAL BOLD ITALIC PARTIAL DIFFERENTIAL').
unicode_name(0x1D76F, 'MATHEMATICAL SANS-SERIF BOLD NABLA').
unicode_name(0x1D789, 'MATHEMATICAL SANS-SERIF BOLD PARTIAL DIFFERENTIAL').
unicode_name(0x1D7A9, 'MATHEMATICAL SANS-SERIF BOLD ITALIC NABLA').
unicode_name(0x1D7C3, 'MATHEMATICAL SANS-SERIF BOLD ITALIC PARTIAL DIFFERENTIAL').
unicode_name(0x1EEF0, 'ARABIC MATHEMATICAL OPERATOR MEEM WITH HAH WITH TATWEEL').
unicode_name(0x1EEF1, 'ARABIC MATHEMATICAL OPERATOR HAH WITH DAL').