mirror of
https://git.savannah.gnu.org/git/emacs.git
synced 2024-11-25 07:28:20 +00:00
261 lines
8.9 KiB
EmacsLisp
261 lines
8.9 KiB
EmacsLisp
(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
|