Gecko [ 122.154.134.11 ]

Name	Size	Permission
00000-0007F.el	3.13 KB	-rw-r--r--
00080-000FF.el	4.14 KB	-rw-r--r--
00100-0017F.el	6.25 KB	-rw-r--r--
00180-0024F.el	8.89 KB	-rw-r--r--
00250-002AF.el	4.44 KB	-rw-r--r--
002B0-002FF.el	2.77 KB	-rw-r--r--
00300-0036F.el	4.03 KB	-rw-r--r--
00370-003FF.el	4.86 KB	-rw-r--r--
00400-004FF.el	11.77 KB	-rw-r--r--
00500-0052F.el	861 B	-rw-r--r--
00530-0058F.el	3.58 KB	-rw-r--r--
00590-005FF.el	3.06 KB	-rw-r--r--
00600-006FF.el	8.69 KB	-rw-r--r--
00700-0074F.el	2.68 KB	-rw-r--r--
00780-007BF.el	1.77 KB	-rw-r--r--
00900-0097F.el	4 KB	-rw-r--r--
00980-009FF.el	3.26 KB	-rw-r--r--
00A00-00A7F.el	2.63 KB	-rw-r--r--
00A80-00AFF.el	2.82 KB	-rw-r--r--
00B00-00B7F.el	2.61 KB	-rw-r--r--
00B80-00BFF.el	2.02 KB	-rw-r--r--
00C00-00C7F.el	2.73 KB	-rw-r--r--
00C80-00CFF.el	2.8 KB	-rw-r--r--
00D00-00D7F.el	2.88 KB	-rw-r--r--
00D80-00DFF.el	3.64 KB	-rw-r--r--
00E00-00E7F.el	3.31 KB	-rw-r--r--
00E80-00EFF.el	2.1 KB	-rw-r--r--
00F00-00FFF.el	7.82 KB	-rw-r--r--
01000-0109F.el	2.79 KB	-rw-r--r--
010A0-010FF.el	3.13 KB	-rw-r--r--
01100-011FF.el	9.91 KB	-rw-r--r--
01200-0137F.el	12.61 KB	-rw-r--r--
013A0-013FF.el	2.93 KB	-rw-r--r--
01400-0167F.el	26.63 KB	-rw-r--r--
01680-0169F.el	1.06 KB	-rw-r--r--
016A0-016FF.el	3.1 KB	-rw-r--r--
01700-0171F.el	760 B	-rw-r--r--
01720-0173F.el	885 B	-rw-r--r--
01740-0175F.el	716 B	-rw-r--r--
01760-0177F.el	711 B	-rw-r--r--
01780-017FF.el	3.63 KB	-rw-r--r--
01800-018AF.el	6.33 KB	-rw-r--r--
01E00-01EFF.el	13.53 KB	-rw-r--r--
01F00-01FFF.el	14.06 KB	-rw-r--r--
02000-0206F.el	3.28 KB	-rw-r--r--
02070-0209F.el	1.09 KB	-rw-r--r--
020A0-020CF.el	596 B	-rw-r--r--
020D0-020FF.el	1.34 KB	-rw-r--r--
02100-0214F.el	2.57 KB	-rw-r--r--
02150-0218F.el	2.02 KB	-rw-r--r--
02190-021FF.el	4.9 KB	-rw-r--r--
02200-022FF.el	8.93 KB	-rw-r--r--
02300-023FF.el	8.77 KB	-rw-r--r--
02400-0243F.el	1.6 KB	-rw-r--r--
02440-0245F.el	464 B	-rw-r--r--
02460-024FF.el	6.83 KB	-rw-r--r--
02500-0257F.el	6.96 KB	-rw-r--r--
02580-0259F.el	1.36 KB	-rw-r--r--
025A0-025FF.el	4.15 KB	-rw-r--r--
02600-026FF.el	4.25 KB	-rw-r--r--
02700-027BF.el	7.96 KB	-rw-r--r--
027C0-027EF.el	1.29 KB	-rw-r--r--
027F0-027FF.el	810 B	-rw-r--r--
02800-028FF.el	10.35 KB	-rw-r--r--
02900-0297F.el	6.95 KB	-rw-r--r--
02980-029FF.el	5.62 KB	-rw-r--r--
02A00-02AFF.el	11.6 KB	-rw-r--r--
02E80-02EFF.el	4.34 KB	-rw-r--r--
02F00-02FDF.el	7.71 KB	-rw-r--r--
02FF0-02FFF.el	947 B	-rw-r--r--
03000-0303F.el	2.67 KB	-rw-r--r--
03040-0309F.el	3.36 KB	-rw-r--r--
030A0-030FF.el	3.39 KB	-rw-r--r--
03100-0312F.el	1.4 KB	-rw-r--r--
03130-0318F.el	3.6 KB	-rw-r--r--
03190-0319F.el	877 B	-rw-r--r--
031A0-031BF.el	953 B	-rw-r--r--
031F0-031FF.el	755 B	-rw-r--r--
03200-032FF.el	9.36 KB	-rw-r--r--
03300-033FF.el	8.67 KB	-rw-r--r--
03400-04DBF.el	121 B	-rw-r--r--
0A000-0A48F.el	35.91 KB	-rw-r--r--
0A490-0A4CF.el	1.71 KB	-rw-r--r--
0FB00-0FB4F.el	2.66 KB	-rw-r--r--
0FB50-0FDFF.el	34.73 KB	-rw-r--r--
0FE00-0FE0F.el	689 B	-rw-r--r--
0FE20-0FE2F.el	293 B	-rw-r--r--
0FE30-0FE4F.el	1.75 KB	-rw-r--r--
0FE50-0FE6F.el	1 KB	-rw-r--r--
0FE70-0FEFF.el	6.8 KB	-rw-r--r--
0FF00-0FFEF.el	9.77 KB	-rw-r--r--
0FFF0-0FFFF.el	318 B	-rw-r--r--
10300-1032F.el	1.37 KB	-rw-r--r--
10330-1034F.el	1.05 KB	-rw-r--r--
10400-1044F.el	3.28 KB	-rw-r--r--
1D000-1D0FF.el	13.79 KB	-rw-r--r--
1D100-1D1FF.el	10.31 KB	-rw-r--r--
1D400-1D7FF.el	49.76 KB	-rw-r--r--
E0000-E007F.el	3.65 KB	-rw-r--r--
README	47 B	-rw-r--r--
test-invalid.xml	289 B	-rw-r--r--
test-valid.xml	276 B	-rw-r--r--

Code Editor : 02200-022FF.el

(nxml-define-char-name-set 'mathematical-operators
  '(("FOR ALL" #x2200)
    ("COMPLEMENT" #x2201)
    ("PARTIAL DIFFERENTIAL" #x2202)
    ("THERE EXISTS" #x2203)
    ("THERE DOES NOT EXIST" #x2204)
    ("EMPTY SET" #x2205)
    ("INCREMENT" #x2206)
    ("NABLA" #x2207)
    ("ELEMENT OF" #x2208)
    ("NOT AN ELEMENT OF" #x2209)
    ("SMALL ELEMENT OF" #x220A)
    ("CONTAINS AS MEMBER" #x220B)
    ("DOES NOT CONTAIN AS MEMBER" #x220C)
    ("SMALL CONTAINS AS MEMBER" #x220D)
    ("END OF PROOF" #x220E)
    ("N-ARY PRODUCT" #x220F)
    ("N-ARY COPRODUCT" #x2210)
    ("N-ARY SUMMATION" #x2211)
    ("MINUS SIGN" #x2212)
    ("MINUS-OR-PLUS SIGN" #x2213)
    ("DOT PLUS" #x2214)
    ("DIVISION SLASH" #x2215)
    ("SET MINUS" #x2216)
    ("ASTERISK OPERATOR" #x2217)
    ("RING OPERATOR" #x2218)
    ("BULLET OPERATOR" #x2219)
    ("SQUARE ROOT" #x221A)
    ("CUBE ROOT" #x221B)
    ("FOURTH ROOT" #x221C)
    ("PROPORTIONAL TO" #x221D)
    ("INFINITY" #x221E)
    ("RIGHT ANGLE" #x221F)
    ("ANGLE" #x2220)
    ("MEASURED ANGLE" #x2221)
    ("SPHERICAL ANGLE" #x2222)
    ("DIVIDES" #x2223)
    ("DOES NOT DIVIDE" #x2224)
    ("PARALLEL TO" #x2225)
    ("NOT PARALLEL TO" #x2226)
    ("LOGICAL AND" #x2227)
    ("LOGICAL OR" #x2228)
    ("INTERSECTION" #x2229)
    ("UNION" #x222A)
    ("INTEGRAL" #x222B)
    ("DOUBLE INTEGRAL" #x222C)
    ("TRIPLE INTEGRAL" #x222D)
    ("CONTOUR INTEGRAL" #x222E)
    ("SURFACE INTEGRAL" #x222F)
    ("VOLUME INTEGRAL" #x2230)
    ("CLOCKWISE INTEGRAL" #x2231)
    ("CLOCKWISE CONTOUR INTEGRAL" #x2232)
    ("ANTICLOCKWISE CONTOUR INTEGRAL" #x2233)
    ("THEREFORE" #x2234)
    ("BECAUSE" #x2235)
    ("RATIO" #x2236)
    ("PROPORTION" #x2237)
    ("DOT MINUS" #x2238)
    ("EXCESS" #x2239)
    ("GEOMETRIC PROPORTION" #x223A)
    ("HOMOTHETIC" #x223B)
    ("TILDE OPERATOR" #x223C)
    ("REVERSED TILDE" #x223D)
    ("INVERTED LAZY S" #x223E)
    ("SINE WAVE" #x223F)
    ("WREATH PRODUCT" #x2240)
    ("NOT TILDE" #x2241)
    ("MINUS TILDE" #x2242)
    ("ASYMPTOTICALLY EQUAL TO" #x2243)
    ("NOT ASYMPTOTICALLY EQUAL TO" #x2244)
    ("APPROXIMATELY EQUAL TO" #x2245)
    ("APPROXIMATELY BUT NOT ACTUALLY EQUAL TO" #x2246)
    ("NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO" #x2247)
    ("ALMOST EQUAL TO" #x2248)
    ("NOT ALMOST EQUAL TO" #x2249)
    ("ALMOST EQUAL OR EQUAL TO" #x224A)
    ("TRIPLE TILDE" #x224B)
    ("ALL EQUAL TO" #x224C)
    ("EQUIVALENT TO" #x224D)
    ("GEOMETRICALLY EQUIVALENT TO" #x224E)
    ("DIFFERENCE BETWEEN" #x224F)
    ("APPROACHES THE LIMIT" #x2250)
    ("GEOMETRICALLY EQUAL TO" #x2251)
    ("APPROXIMATELY EQUAL TO OR THE IMAGE OF" #x2252)
    ("IMAGE OF OR APPROXIMATELY EQUAL TO" #x2253)
    ("COLON EQUALS" #x2254)
    ("EQUALS COLON" #x2255)
    ("RING IN EQUAL TO" #x2256)
    ("RING EQUAL TO" #x2257)
    ("CORRESPONDS TO" #x2258)
    ("ESTIMATES" #x2259)
    ("EQUIANGULAR TO" #x225A)
    ("STAR EQUALS" #x225B)
    ("DELTA EQUAL TO" #x225C)
    ("EQUAL TO BY DEFINITION" #x225D)
    ("MEASURED BY" #x225E)
    ("QUESTIONED EQUAL TO" #x225F)
    ("NOT EQUAL TO" #x2260)
    ("IDENTICAL TO" #x2261)
    ("NOT IDENTICAL TO" #x2262)
    ("STRICTLY EQUIVALENT TO" #x2263)
    ("LESS-THAN OR EQUAL TO" #x2264)
    ("GREATER-THAN OR EQUAL TO" #x2265)
    ("LESS-THAN OVER EQUAL TO" #x2266)
    ("GREATER-THAN OVER EQUAL TO" #x2267)
    ("LESS-THAN BUT NOT EQUAL TO" #x2268)
    ("GREATER-THAN BUT NOT EQUAL TO" #x2269)
    ("MUCH LESS-THAN" #x226A)
    ("MUCH GREATER-THAN" #x226B)
    ("BETWEEN" #x226C)
    ("NOT EQUIVALENT TO" #x226D)
    ("NOT LESS-THAN" #x226E)
    ("NOT GREATER-THAN" #x226F)
    ("NEITHER LESS-THAN NOR EQUAL TO" #x2270)
    ("NEITHER GREATER-THAN NOR EQUAL TO" #x2271)
    ("LESS-THAN OR EQUIVALENT TO" #x2272)
    ("GREATER-THAN OR EQUIVALENT TO" #x2273)
    ("NEITHER LESS-THAN NOR EQUIVALENT TO" #x2274)
    ("NEITHER GREATER-THAN NOR EQUIVALENT TO" #x2275)
    ("LESS-THAN OR GREATER-THAN" #x2276)
    ("GREATER-THAN OR LESS-THAN" #x2277)
    ("NEITHER LESS-THAN NOR GREATER-THAN" #x2278)
    ("NEITHER GREATER-THAN NOR LESS-THAN" #x2279)
    ("PRECEDES" #x227A)
    ("SUCCEEDS" #x227B)
    ("PRECEDES OR EQUAL TO" #x227C)
    ("SUCCEEDS OR EQUAL TO" #x227D)
    ("PRECEDES OR EQUIVALENT TO" #x227E)
    ("SUCCEEDS OR EQUIVALENT TO" #x227F)
    ("DOES NOT PRECEDE" #x2280)
    ("DOES NOT SUCCEED" #x2281)
    ("SUBSET OF" #x2282)
    ("SUPERSET OF" #x2283)
    ("NOT A SUBSET OF" #x2284)
    ("NOT A SUPERSET OF" #x2285)
    ("SUBSET OF OR EQUAL TO" #x2286)
    ("SUPERSET OF OR EQUAL TO" #x2287)
    ("NEITHER A SUBSET OF NOR EQUAL TO" #x2288)
    ("NEITHER A SUPERSET OF NOR EQUAL TO" #x2289)
    ("SUBSET OF WITH NOT EQUAL TO" #x228A)
    ("SUPERSET OF WITH NOT EQUAL TO" #x228B)
    ("MULTISET" #x228C)
    ("MULTISET MULTIPLICATION" #x228D)
    ("MULTISET UNION" #x228E)
    ("SQUARE IMAGE OF" #x228F)
    ("SQUARE ORIGINAL OF" #x2290)
    ("SQUARE IMAGE OF OR EQUAL TO" #x2291)
    ("SQUARE ORIGINAL OF OR EQUAL TO" #x2292)
    ("SQUARE CAP" #x2293)
    ("SQUARE CUP" #x2294)
    ("CIRCLED PLUS" #x2295)
    ("CIRCLED MINUS" #x2296)
    ("CIRCLED TIMES" #x2297)
    ("CIRCLED DIVISION SLASH" #x2298)
    ("CIRCLED DOT OPERATOR" #x2299)
    ("CIRCLED RING OPERATOR" #x229A)
    ("CIRCLED ASTERISK OPERATOR" #x229B)
    ("CIRCLED EQUALS" #x229C)
    ("CIRCLED DASH" #x229D)
    ("SQUARED PLUS" #x229E)
    ("SQUARED MINUS" #x229F)
    ("SQUARED TIMES" #x22A0)
    ("SQUARED DOT OPERATOR" #x22A1)
    ("RIGHT TACK" #x22A2)
    ("LEFT TACK" #x22A3)
    ("DOWN TACK" #x22A4)
    ("UP TACK" #x22A5)
    ("ASSERTION" #x22A6)
    ("MODELS" #x22A7)
    ("TRUE" #x22A8)
    ("FORCES" #x22A9)
    ("TRIPLE VERTICAL BAR RIGHT TURNSTILE" #x22AA)
    ("DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AB)
    ("DOES NOT PROVE" #x22AC)
    ("NOT TRUE" #x22AD)
    ("DOES NOT FORCE" #x22AE)
    ("NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE" #x22AF)
    ("PRECEDES UNDER RELATION" #x22B0)
    ("SUCCEEDS UNDER RELATION" #x22B1)
    ("NORMAL SUBGROUP OF" #x22B2)
    ("CONTAINS AS NORMAL SUBGROUP" #x22B3)
    ("NORMAL SUBGROUP OF OR EQUAL TO" #x22B4)
    ("CONTAINS AS NORMAL SUBGROUP OR EQUAL TO" #x22B5)
    ("ORIGINAL OF" #x22B6)
    ("IMAGE OF" #x22B7)
    ("MULTIMAP" #x22B8)
    ("HERMITIAN CONJUGATE MATRIX" #x22B9)
    ("INTERCALATE" #x22BA)
    ("XOR" #x22BB)
    ("NAND" #x22BC)
    ("NOR" #x22BD)
    ("RIGHT ANGLE WITH ARC" #x22BE)
    ("RIGHT TRIANGLE" #x22BF)
    ("N-ARY LOGICAL AND" #x22C0)
    ("N-ARY LOGICAL OR" #x22C1)
    ("N-ARY INTERSECTION" #x22C2)
    ("N-ARY UNION" #x22C3)
    ("DIAMOND OPERATOR" #x22C4)
    ("DOT OPERATOR" #x22C5)
    ("STAR OPERATOR" #x22C6)
    ("DIVISION TIMES" #x22C7)
    ("BOWTIE" #x22C8)
    ("LEFT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22C9)
    ("RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT" #x22CA)
    ("LEFT SEMIDIRECT PRODUCT" #x22CB)
    ("RIGHT SEMIDIRECT PRODUCT" #x22CC)
    ("REVERSED TILDE EQUALS" #x22CD)
    ("CURLY LOGICAL OR" #x22CE)
    ("CURLY LOGICAL AND" #x22CF)
    ("DOUBLE SUBSET" #x22D0)
    ("DOUBLE SUPERSET" #x22D1)
    ("DOUBLE INTERSECTION" #x22D2)
    ("DOUBLE UNION" #x22D3)
    ("PITCHFORK" #x22D4)
    ("EQUAL AND PARALLEL TO" #x22D5)
    ("LESS-THAN WITH DOT" #x22D6)
    ("GREATER-THAN WITH DOT" #x22D7)
    ("VERY MUCH LESS-THAN" #x22D8)
    ("VERY MUCH GREATER-THAN" #x22D9)
    ("LESS-THAN EQUAL TO OR GREATER-THAN" #x22DA)
    ("GREATER-THAN EQUAL TO OR LESS-THAN" #x22DB)
    ("EQUAL TO OR LESS-THAN" #x22DC)
    ("EQUAL TO OR GREATER-THAN" #x22DD)
    ("EQUAL TO OR PRECEDES" #x22DE)
    ("EQUAL TO OR SUCCEEDS" #x22DF)
    ("DOES NOT PRECEDE OR EQUAL" #x22E0)
    ("DOES NOT SUCCEED OR EQUAL" #x22E1)
    ("NOT SQUARE IMAGE OF OR EQUAL TO" #x22E2)
    ("NOT SQUARE ORIGINAL OF OR EQUAL TO" #x22E3)
    ("SQUARE IMAGE OF OR NOT EQUAL TO" #x22E4)
    ("SQUARE ORIGINAL OF OR NOT EQUAL TO" #x22E5)
    ("LESS-THAN BUT NOT EQUIVALENT TO" #x22E6)
    ("GREATER-THAN BUT NOT EQUIVALENT TO" #x22E7)
    ("PRECEDES BUT NOT EQUIVALENT TO" #x22E8)
    ("SUCCEEDS BUT NOT EQUIVALENT TO" #x22E9)
    ("NOT NORMAL SUBGROUP OF" #x22EA)
    ("DOES NOT CONTAIN AS NORMAL SUBGROUP" #x22EB)
    ("NOT NORMAL SUBGROUP OF OR EQUAL TO" #x22EC)
    ("DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL" #x22ED)
    ("VERTICAL ELLIPSIS" #x22EE)
    ("MIDLINE HORIZONTAL ELLIPSIS" #x22EF)
    ("UP RIGHT DIAGONAL ELLIPSIS" #x22F0)
    ("DOWN RIGHT DIAGONAL ELLIPSIS" #x22F1)
    ("ELEMENT OF WITH LONG HORIZONTAL STROKE" #x22F2)
    ("ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F3)
    ("SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22F4)
    ("ELEMENT OF WITH DOT ABOVE" #x22F5)
    ("ELEMENT OF WITH OVERBAR" #x22F6)
    ("SMALL ELEMENT OF WITH OVERBAR" #x22F7)
    ("ELEMENT OF WITH UNDERBAR" #x22F8)
    ("ELEMENT OF WITH TWO HORIZONTAL STROKES" #x22F9)
    ("CONTAINS WITH LONG HORIZONTAL STROKE" #x22FA)
    ("CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FB)
    ("SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE" #x22FC)
    ("CONTAINS WITH OVERBAR" #x22FD)
    ("SMALL CONTAINS WITH OVERBAR" #x22FE)
    ("Z NOTATION BAG MEMBERSHIP" #x22FF)
    ))

;; arch-tag: 12911bcf-5cc6-4b8a-9f0e-48c0b6f85566

${this.title}

Code Editor : 02200-022FF.el