Commit d98a6328 authored by Glenn Morris's avatar Glenn Morris

Move to etc/nxml

parent 1530979e
2007-11-28 Glenn Morris <rgm@gnu.org>
* nxml/: New directory, moved here from lisp/nxml/char-name/unicode.
* nxml/README: New file.
2007-11-24 Glenn Morris <rgm@gnu.org>
......
(nxml-define-char-name-set 'supplemental-arrows-a
'(("UPWARDS QUADRUPLE ARROW" #x27F0)
("DOWNWARDS QUADRUPLE ARROW" #x27F1)
("ANTICLOCKWISE GAPPED CIRCLE ARROW" #x27F2)
("CLOCKWISE GAPPED CIRCLE ARROW" #x27F3)
("RIGHT ARROW WITH CIRCLED PLUS" #x27F4)
("LONG LEFTWARDS ARROW" #x27F5)
("LONG RIGHTWARDS ARROW" #x27F6)
("LONG LEFT RIGHT ARROW" #x27F7)
("LONG LEFTWARDS DOUBLE ARROW" #x27F8)
("LONG RIGHTWARDS DOUBLE ARROW" #x27F9)
("LONG LEFT RIGHT DOUBLE ARROW" #x27FA)
("LONG LEFTWARDS ARROW FROM BAR" #x27FB)
("LONG RIGHTWARDS ARROW FROM BAR" #x27FC)
("LONG LEFTWARDS DOUBLE ARROW FROM BAR" #x27FD)
("LONG RIGHTWARDS DOUBLE ARROW FROM BAR" #x27FE)
("LONG RIGHTWARDS SQUIGGLE ARROW" #x27FF)
))
;; arch-tag: 64623112-13d2-4bd6-8768-5508e3a7f8a9
(nxml-define-char-name-set 'braille-patterns
'(("BRAILLE PATTERN BLANK" #x2800)
("BRAILLE PATTERN DOTS-1" #x2801)
("BRAILLE PATTERN DOTS-2" #x2802)
("BRAILLE PATTERN DOTS-12" #x2803)
("BRAILLE PATTERN DOTS-3" #x2804)
("BRAILLE PATTERN DOTS-13" #x2805)
("BRAILLE PATTERN DOTS-23" #x2806)
("BRAILLE PATTERN DOTS-123" #x2807)
("BRAILLE PATTERN DOTS-4" #x2808)
("BRAILLE PATTERN DOTS-14" #x2809)
("BRAILLE PATTERN DOTS-24" #x280A)
("BRAILLE PATTERN DOTS-124" #x280B)
("BRAILLE PATTERN DOTS-34" #x280C)
("BRAILLE PATTERN DOTS-134" #x280D)
("BRAILLE PATTERN DOTS-234" #x280E)
("BRAILLE PATTERN DOTS-1234" #x280F)
("BRAILLE PATTERN DOTS-5" #x2810)
("BRAILLE PATTERN DOTS-15" #x2811)
("BRAILLE PATTERN DOTS-25" #x2812)
("BRAILLE PATTERN DOTS-125" #x2813)
("BRAILLE PATTERN DOTS-35" #x2814)
("BRAILLE PATTERN DOTS-135" #x2815)
("BRAILLE PATTERN DOTS-235" #x2816)
("BRAILLE PATTERN DOTS-1235" #x2817)
("BRAILLE PATTERN DOTS-45" #x2818)
("BRAILLE PATTERN DOTS-145" #x2819)
("BRAILLE PATTERN DOTS-245" #x281A)
("BRAILLE PATTERN DOTS-1245" #x281B)
("BRAILLE PATTERN DOTS-345" #x281C)
("BRAILLE PATTERN DOTS-1345" #x281D)
("BRAILLE PATTERN DOTS-2345" #x281E)
("BRAILLE PATTERN DOTS-12345" #x281F)
("BRAILLE PATTERN DOTS-6" #x2820)
("BRAILLE PATTERN DOTS-16" #x2821)
("BRAILLE PATTERN DOTS-26" #x2822)
("BRAILLE PATTERN DOTS-126" #x2823)
("BRAILLE PATTERN DOTS-36" #x2824)
("BRAILLE PATTERN DOTS-136" #x2825)
("BRAILLE PATTERN DOTS-236" #x2826)
("BRAILLE PATTERN DOTS-1236" #x2827)
("BRAILLE PATTERN DOTS-46" #x2828)
("BRAILLE PATTERN DOTS-146" #x2829)
("BRAILLE PATTERN DOTS-246" #x282A)
("BRAILLE PATTERN DOTS-1246" #x282B)
("BRAILLE PATTERN DOTS-346" #x282C)
("BRAILLE PATTERN DOTS-1346" #x282D)
("BRAILLE PATTERN DOTS-2346" #x282E)
("BRAILLE PATTERN DOTS-12346" #x282F)
("BRAILLE PATTERN DOTS-56" #x2830)
("BRAILLE PATTERN DOTS-156" #x2831)
("BRAILLE PATTERN DOTS-256" #x2832)
("BRAILLE PATTERN DOTS-1256" #x2833)
("BRAILLE PATTERN DOTS-356" #x2834)
("BRAILLE PATTERN DOTS-1356" #x2835)
("BRAILLE PATTERN DOTS-2356" #x2836)
("BRAILLE PATTERN DOTS-12356" #x2837)
("BRAILLE PATTERN DOTS-456" #x2838)
("BRAILLE PATTERN DOTS-1456" #x2839)
("BRAILLE PATTERN DOTS-2456" #x283A)
("BRAILLE PATTERN DOTS-12456" #x283B)
("BRAILLE PATTERN DOTS-3456" #x283C)
("BRAILLE PATTERN DOTS-13456" #x283D)
("BRAILLE PATTERN DOTS-23456" #x283E)
("BRAILLE PATTERN DOTS-123456" #x283F)
("BRAILLE PATTERN DOTS-7" #x2840)
("BRAILLE PATTERN DOTS-17" #x2841)
("BRAILLE PATTERN DOTS-27" #x2842)
("BRAILLE PATTERN DOTS-127" #x2843)
("BRAILLE PATTERN DOTS-37" #x2844)
("BRAILLE PATTERN DOTS-137" #x2845)
("BRAILLE PATTERN DOTS-237" #x2846)
("BRAILLE PATTERN DOTS-1237" #x2847)
("BRAILLE PATTERN DOTS-47" #x2848)
("BRAILLE PATTERN DOTS-147" #x2849)
("BRAILLE PATTERN DOTS-247" #x284A)
("BRAILLE PATTERN DOTS-1247" #x284B)
("BRAILLE PATTERN DOTS-347" #x284C)
("BRAILLE PATTERN DOTS-1347" #x284D)
("BRAILLE PATTERN DOTS-2347" #x284E)
("BRAILLE PATTERN DOTS-12347" #x284F)
("BRAILLE PATTERN DOTS-57" #x2850)
("BRAILLE PATTERN DOTS-157" #x2851)
("BRAILLE PATTERN DOTS-257" #x2852)
("BRAILLE PATTERN DOTS-1257" #x2853)
("BRAILLE PATTERN DOTS-357" #x2854)
("BRAILLE PATTERN DOTS-1357" #x2855)
("BRAILLE PATTERN DOTS-2357" #x2856)
("BRAILLE PATTERN DOTS-12357" #x2857)
("BRAILLE PATTERN DOTS-457" #x2858)
("BRAILLE PATTERN DOTS-1457" #x2859)
("BRAILLE PATTERN DOTS-2457" #x285A)
("BRAILLE PATTERN DOTS-12457" #x285B)
("BRAILLE PATTERN DOTS-3457" #x285C)
("BRAILLE PATTERN DOTS-13457" #x285D)
("BRAILLE PATTERN DOTS-23457" #x285E)
("BRAILLE PATTERN DOTS-123457" #x285F)
("BRAILLE PATTERN DOTS-67" #x2860)
("BRAILLE PATTERN DOTS-167" #x2861)
("BRAILLE PATTERN DOTS-267" #x2862)
("BRAILLE PATTERN DOTS-1267" #x2863)
("BRAILLE PATTERN DOTS-367" #x2864)
("BRAILLE PATTERN DOTS-1367" #x2865)
("BRAILLE PATTERN DOTS-2367" #x2866)
("BRAILLE PATTERN DOTS-12367" #x2867)
("BRAILLE PATTERN DOTS-467" #x2868)
("BRAILLE PATTERN DOTS-1467" #x2869)
("BRAILLE PATTERN DOTS-2467" #x286A)
("BRAILLE PATTERN DOTS-12467" #x286B)
("BRAILLE PATTERN DOTS-3467" #x286C)
("BRAILLE PATTERN DOTS-13467" #x286D)
("BRAILLE PATTERN DOTS-23467" #x286E)
("BRAILLE PATTERN DOTS-123467" #x286F)
("BRAILLE PATTERN DOTS-567" #x2870)
("BRAILLE PATTERN DOTS-1567" #x2871)
("BRAILLE PATTERN DOTS-2567" #x2872)
("BRAILLE PATTERN DOTS-12567" #x2873)
("BRAILLE PATTERN DOTS-3567" #x2874)
("BRAILLE PATTERN DOTS-13567" #x2875)
("BRAILLE PATTERN DOTS-23567" #x2876)
("BRAILLE PATTERN DOTS-123567" #x2877)
("BRAILLE PATTERN DOTS-4567" #x2878)
("BRAILLE PATTERN DOTS-14567" #x2879)
("BRAILLE PATTERN DOTS-24567" #x287A)
("BRAILLE PATTERN DOTS-124567" #x287B)
("BRAILLE PATTERN DOTS-34567" #x287C)
("BRAILLE PATTERN DOTS-134567" #x287D)
("BRAILLE PATTERN DOTS-234567" #x287E)
("BRAILLE PATTERN DOTS-1234567" #x287F)
("BRAILLE PATTERN DOTS-8" #x2880)
("BRAILLE PATTERN DOTS-18" #x2881)
("BRAILLE PATTERN DOTS-28" #x2882)
("BRAILLE PATTERN DOTS-128" #x2883)
("BRAILLE PATTERN DOTS-38" #x2884)
("BRAILLE PATTERN DOTS-138" #x2885)
("BRAILLE PATTERN DOTS-238" #x2886)
("BRAILLE PATTERN DOTS-1238" #x2887)
("BRAILLE PATTERN DOTS-48" #x2888)
("BRAILLE PATTERN DOTS-148" #x2889)
("BRAILLE PATTERN DOTS-248" #x288A)
("BRAILLE PATTERN DOTS-1248" #x288B)
("BRAILLE PATTERN DOTS-348" #x288C)
("BRAILLE PATTERN DOTS-1348" #x288D)
("BRAILLE PATTERN DOTS-2348" #x288E)
("BRAILLE PATTERN DOTS-12348" #x288F)
("BRAILLE PATTERN DOTS-58" #x2890)
("BRAILLE PATTERN DOTS-158" #x2891)
("BRAILLE PATTERN DOTS-258" #x2892)
("BRAILLE PATTERN DOTS-1258" #x2893)
("BRAILLE PATTERN DOTS-358" #x2894)
("BRAILLE PATTERN DOTS-1358" #x2895)
("BRAILLE PATTERN DOTS-2358" #x2896)
("BRAILLE PATTERN DOTS-12358" #x2897)
("BRAILLE PATTERN DOTS-458" #x2898)
("BRAILLE PATTERN DOTS-1458" #x2899)
("BRAILLE PATTERN DOTS-2458" #x289A)
("BRAILLE PATTERN DOTS-12458" #x289B)
("BRAILLE PATTERN DOTS-3458" #x289C)
("BRAILLE PATTERN DOTS-13458" #x289D)
("BRAILLE PATTERN DOTS-23458" #x289E)
("BRAILLE PATTERN DOTS-123458" #x289F)
("BRAILLE PATTERN DOTS-68" #x28A0)
("BRAILLE PATTERN DOTS-168" #x28A1)
("BRAILLE PATTERN DOTS-268" #x28A2)
("BRAILLE PATTERN DOTS-1268" #x28A3)
("BRAILLE PATTERN DOTS-368" #x28A4)
("BRAILLE PATTERN DOTS-1368" #x28A5)
("BRAILLE PATTERN DOTS-2368" #x28A6)
("BRAILLE PATTERN DOTS-12368" #x28A7)
("BRAILLE PATTERN DOTS-468" #x28A8)
("BRAILLE PATTERN DOTS-1468" #x28A9)
("BRAILLE PATTERN DOTS-2468" #x28AA)
("BRAILLE PATTERN DOTS-12468" #x28AB)
("BRAILLE PATTERN DOTS-3468" #x28AC)
("BRAILLE PATTERN DOTS-13468" #x28AD)
("BRAILLE PATTERN DOTS-23468" #x28AE)
("BRAILLE PATTERN DOTS-123468" #x28AF)
("BRAILLE PATTERN DOTS-568" #x28B0)
("BRAILLE PATTERN DOTS-1568" #x28B1)
("BRAILLE PATTERN DOTS-2568" #x28B2)
("BRAILLE PATTERN DOTS-12568" #x28B3)
("BRAILLE PATTERN DOTS-3568" #x28B4)
("BRAILLE PATTERN DOTS-13568" #x28B5)
("BRAILLE PATTERN DOTS-23568" #x28B6)
("BRAILLE PATTERN DOTS-123568" #x28B7)
("BRAILLE PATTERN DOTS-4568" #x28B8)
("BRAILLE PATTERN DOTS-14568" #x28B9)
("BRAILLE PATTERN DOTS-24568" #x28BA)
("BRAILLE PATTERN DOTS-124568" #x28BB)
("BRAILLE PATTERN DOTS-34568" #x28BC)
("BRAILLE PATTERN DOTS-134568" #x28BD)
("BRAILLE PATTERN DOTS-234568" #x28BE)
("BRAILLE PATTERN DOTS-1234568" #x28BF)
("BRAILLE PATTERN DOTS-78" #x28C0)
("BRAILLE PATTERN DOTS-178" #x28C1)
("BRAILLE PATTERN DOTS-278" #x28C2)
("BRAILLE PATTERN DOTS-1278" #x28C3)
("BRAILLE PATTERN DOTS-378" #x28C4)
("BRAILLE PATTERN DOTS-1378" #x28C5)
("BRAILLE PATTERN DOTS-2378" #x28C6)
("BRAILLE PATTERN DOTS-12378" #x28C7)
("BRAILLE PATTERN DOTS-478" #x28C8)
("BRAILLE PATTERN DOTS-1478" #x28C9)
("BRAILLE PATTERN DOTS-2478" #x28CA)
("BRAILLE PATTERN DOTS-12478" #x28CB)
("BRAILLE PATTERN DOTS-3478" #x28CC)
("BRAILLE PATTERN DOTS-13478" #x28CD)
("BRAILLE PATTERN DOTS-23478" #x28CE)
("BRAILLE PATTERN DOTS-123478" #x28CF)
("BRAILLE PATTERN DOTS-578" #x28D0)
("BRAILLE PATTERN DOTS-1578" #x28D1)
("BRAILLE PATTERN DOTS-2578" #x28D2)
("BRAILLE PATTERN DOTS-12578" #x28D3)
("BRAILLE PATTERN DOTS-3578" #x28D4)
("BRAILLE PATTERN DOTS-13578" #x28D5)
("BRAILLE PATTERN DOTS-23578" #x28D6)
("BRAILLE PATTERN DOTS-123578" #x28D7)
("BRAILLE PATTERN DOTS-4578" #x28D8)
("BRAILLE PATTERN DOTS-14578" #x28D9)
("BRAILLE PATTERN DOTS-24578" #x28DA)
("BRAILLE PATTERN DOTS-124578" #x28DB)
("BRAILLE PATTERN DOTS-34578" #x28DC)
("BRAILLE PATTERN DOTS-134578" #x28DD)
("BRAILLE PATTERN DOTS-234578" #x28DE)
("BRAILLE PATTERN DOTS-1234578" #x28DF)
("BRAILLE PATTERN DOTS-678" #x28E0)
("BRAILLE PATTERN DOTS-1678" #x28E1)
("BRAILLE PATTERN DOTS-2678" #x28E2)
("BRAILLE PATTERN DOTS-12678" #x28E3)
("BRAILLE PATTERN DOTS-3678" #x28E4)
("BRAILLE PATTERN DOTS-13678" #x28E5)
("BRAILLE PATTERN DOTS-23678" #x28E6)
("BRAILLE PATTERN DOTS-123678" #x28E7)
("BRAILLE PATTERN DOTS-4678" #x28E8)
("BRAILLE PATTERN DOTS-14678" #x28E9)
("BRAILLE PATTERN DOTS-24678" #x28EA)
("BRAILLE PATTERN DOTS-124678" #x28EB)
("BRAILLE PATTERN DOTS-34678" #x28EC)
("BRAILLE PATTERN DOTS-134678" #x28ED)
("BRAILLE PATTERN DOTS-234678" #x28EE)
("BRAILLE PATTERN DOTS-1234678" #x28EF)
("BRAILLE PATTERN DOTS-5678" #x28F0)
("BRAILLE PATTERN DOTS-15678" #x28F1)
("BRAILLE PATTERN DOTS-25678" #x28F2)
("BRAILLE PATTERN DOTS-125678" #x28F3)
("BRAILLE PATTERN DOTS-35678" #x28F4)
("BRAILLE PATTERN DOTS-135678" #x28F5)
("BRAILLE PATTERN DOTS-235678" #x28F6)
("BRAILLE PATTERN DOTS-1235678" #x28F7)
("BRAILLE PATTERN DOTS-45678" #x28F8)
("BRAILLE PATTERN DOTS-145678" #x28F9)
("BRAILLE PATTERN DOTS-245678" #x28FA)
("BRAILLE PATTERN DOTS-1245678" #x28FB)
("BRAILLE PATTERN DOTS-345678" #x28FC)
("BRAILLE PATTERN DOTS-1345678" #x28FD)
("BRAILLE PATTERN DOTS-2345678" #x28FE)
("BRAILLE PATTERN DOTS-12345678" #x28FF)
))
;; arch-tag: 461f6d3c-a4fb-404c-a107-ec8afd212bd2
(nxml-define-char-name-set 'supplemental-arrows-b
'(("RIGHTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE" #x2900)
("RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE" #x2901)
("LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE" #x2902)
("RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE" #x2903)
("LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE" #x2904)
("RIGHTWARDS TWO-HEADED ARROW FROM BAR" #x2905)
("LEFTWARDS DOUBLE ARROW FROM BAR" #x2906)
("RIGHTWARDS DOUBLE ARROW FROM BAR" #x2907)
("DOWNWARDS ARROW WITH HORIZONTAL STROKE" #x2908)
("UPWARDS ARROW WITH HORIZONTAL STROKE" #x2909)
("UPWARDS TRIPLE ARROW" #x290A)
("DOWNWARDS TRIPLE ARROW" #x290B)
("LEFTWARDS DOUBLE DASH ARROW" #x290C)
("RIGHTWARDS DOUBLE DASH ARROW" #x290D)
("LEFTWARDS TRIPLE DASH ARROW" #x290E)
("RIGHTWARDS TRIPLE DASH ARROW" #x290F)
("RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW" #x2910)
("RIGHTWARDS ARROW WITH DOTTED STEM" #x2911)
("UPWARDS ARROW TO BAR" #x2912)
("DOWNWARDS ARROW TO BAR" #x2913)
("RIGHTWARDS ARROW WITH TAIL WITH VERTICAL STROKE" #x2914)
("RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE" #x2915)
("RIGHTWARDS TWO-HEADED ARROW WITH TAIL" #x2916)
("RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE" #x2917)
("RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE" #x2918)
("LEFTWARDS ARROW-TAIL" #x2919)
("RIGHTWARDS ARROW-TAIL" #x291A)
("LEFTWARDS DOUBLE ARROW-TAIL" #x291B)
("RIGHTWARDS DOUBLE ARROW-TAIL" #x291C)
("LEFTWARDS ARROW TO BLACK DIAMOND" #x291D)
("RIGHTWARDS ARROW TO BLACK DIAMOND" #x291E)
("LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND" #x291F)
("RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND" #x2920)
("NORTH WEST AND SOUTH EAST ARROW" #x2921)
("NORTH EAST AND SOUTH WEST ARROW" #x2922)
("NORTH WEST ARROW WITH HOOK" #x2923)
("NORTH EAST ARROW WITH HOOK" #x2924)
("SOUTH EAST ARROW WITH HOOK" #x2925)
("SOUTH WEST ARROW WITH HOOK" #x2926)
("NORTH WEST ARROW AND NORTH EAST ARROW" #x2927)
("NORTH EAST ARROW AND SOUTH EAST ARROW" #x2928)
("SOUTH EAST ARROW AND SOUTH WEST ARROW" #x2929)
("SOUTH WEST ARROW AND NORTH WEST ARROW" #x292A)
("RISING DIAGONAL CROSSING FALLING DIAGONAL" #x292B)
("FALLING DIAGONAL CROSSING RISING DIAGONAL" #x292C)
("SOUTH EAST ARROW CROSSING NORTH EAST ARROW" #x292D)
("NORTH EAST ARROW CROSSING SOUTH EAST ARROW" #x292E)
("FALLING DIAGONAL CROSSING NORTH EAST ARROW" #x292F)
("RISING DIAGONAL CROSSING SOUTH EAST ARROW" #x2930)
("NORTH EAST ARROW CROSSING NORTH WEST ARROW" #x2931)
("NORTH WEST ARROW CROSSING NORTH EAST ARROW" #x2932)
("WAVE ARROW POINTING DIRECTLY RIGHT" #x2933)
("ARROW POINTING RIGHTWARDS THEN CURVING UPWARDS" #x2934)
("ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS" #x2935)
("ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS" #x2936)
("ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS" #x2937)
("RIGHT-SIDE ARC CLOCKWISE ARROW" #x2938)
("LEFT-SIDE ARC ANTICLOCKWISE ARROW" #x2939)
("TOP ARC ANTICLOCKWISE ARROW" #x293A)
("BOTTOM ARC ANTICLOCKWISE ARROW" #x293B)
("TOP ARC CLOCKWISE ARROW WITH MINUS" #x293C)
("TOP ARC ANTICLOCKWISE ARROW WITH PLUS" #x293D)
("LOWER RIGHT SEMICIRCULAR CLOCKWISE ARROW" #x293E)
("LOWER LEFT SEMICIRCULAR ANTICLOCKWISE ARROW" #x293F)
("ANTICLOCKWISE CLOSED CIRCLE ARROW" #x2940)
("CLOCKWISE CLOSED CIRCLE ARROW" #x2941)
("RIGHTWARDS ARROW ABOVE SHORT LEFTWARDS ARROW" #x2942)
("LEFTWARDS ARROW ABOVE SHORT RIGHTWARDS ARROW" #x2943)
("SHORT RIGHTWARDS ARROW ABOVE LEFTWARDS ARROW" #x2944)
("RIGHTWARDS ARROW WITH PLUS BELOW" #x2945)
("LEFTWARDS ARROW WITH PLUS BELOW" #x2946)
("RIGHTWARDS ARROW THROUGH X" #x2947)
("LEFT RIGHT ARROW THROUGH SMALL CIRCLE" #x2948)
("UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE" #x2949)
("LEFT BARB UP RIGHT BARB DOWN HARPOON" #x294A)
("LEFT BARB DOWN RIGHT BARB UP HARPOON" #x294B)
("UP BARB RIGHT DOWN BARB LEFT HARPOON" #x294C)
("UP BARB LEFT DOWN BARB RIGHT HARPOON" #x294D)
("LEFT BARB UP RIGHT BARB UP HARPOON" #x294E)
("UP BARB RIGHT DOWN BARB RIGHT HARPOON" #x294F)
("LEFT BARB DOWN RIGHT BARB DOWN HARPOON" #x2950)
("UP BARB LEFT DOWN BARB LEFT HARPOON" #x2951)
("LEFTWARDS HARPOON WITH BARB UP TO BAR" #x2952)
("RIGHTWARDS HARPOON WITH BARB UP TO BAR" #x2953)
("UPWARDS HARPOON WITH BARB RIGHT TO BAR" #x2954)
("DOWNWARDS HARPOON WITH BARB RIGHT TO BAR" #x2955)
("LEFTWARDS HARPOON WITH BARB DOWN TO BAR" #x2956)
("RIGHTWARDS HARPOON WITH BARB DOWN TO BAR" #x2957)
("UPWARDS HARPOON WITH BARB LEFT TO BAR" #x2958)
("DOWNWARDS HARPOON WITH BARB LEFT TO BAR" #x2959)
("LEFTWARDS HARPOON WITH BARB UP FROM BAR" #x295A)
("RIGHTWARDS HARPOON WITH BARB UP FROM BAR" #x295B)
("UPWARDS HARPOON WITH BARB RIGHT FROM BAR" #x295C)
("DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR" #x295D)
("LEFTWARDS HARPOON WITH BARB DOWN FROM BAR" #x295E)
("RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR" #x295F)
("UPWARDS HARPOON WITH BARB LEFT FROM BAR" #x2960)
("DOWNWARDS HARPOON WITH BARB LEFT FROM BAR" #x2961)
("LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN" #x2962)
("UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT" #x2963)
("RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN" #x2964)
("DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT" #x2965)
("LEFTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB UP" #x2966)
("LEFTWARDS HARPOON WITH BARB DOWN ABOVE RIGHTWARDS HARPOON WITH BARB DOWN" #x2967)
("RIGHTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB UP" #x2968)
("RIGHTWARDS HARPOON WITH BARB DOWN ABOVE LEFTWARDS HARPOON WITH BARB DOWN" #x2969)
("LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH" #x296A)
("LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH" #x296B)
("RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH" #x296C)
("RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH" #x296D)
("UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT" #x296E)
("DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT" #x296F)
("RIGHT DOUBLE ARROW WITH ROUNDED HEAD" #x2970)
("EQUALS SIGN ABOVE RIGHTWARDS ARROW" #x2971)
("TILDE OPERATOR ABOVE RIGHTWARDS ARROW" #x2972)
("LEFTWARDS ARROW ABOVE TILDE OPERATOR" #x2973)
("RIGHTWARDS ARROW ABOVE TILDE OPERATOR" #x2974)
("RIGHTWARDS ARROW ABOVE ALMOST EQUAL TO" #x2975)
("LESS-THAN ABOVE LEFTWARDS ARROW" #x2976)
("LEFTWARDS ARROW THROUGH LESS-THAN" #x2977)
("GREATER-THAN ABOVE RIGHTWARDS ARROW" #x2978)
("SUBSET ABOVE RIGHTWARDS ARROW" #x2979)
("LEFTWARDS ARROW THROUGH SUBSET" #x297A)
("SUPERSET ABOVE LEFTWARDS ARROW" #x297B)
("LEFT FISH TAIL" #x297C)
("RIGHT FISH TAIL" #x297D)
("UP FISH TAIL" #x297E)
("DOWN FISH TAIL" #x297F)
))
;; arch-tag: 57fdeec3-1003-4f3e-ac93-1d698f6eacd8
(nxml-define-char-name-set 'miscellaneous-mathematical-symbols-b
'(("TRIPLE VERTICAL BAR DELIMITER" #x2980)
("Z NOTATION SPOT" #x2981)
("Z NOTATION TYPE COLON" #x2982)
("LEFT WHITE CURLY BRACKET" #x2983)
("RIGHT WHITE CURLY BRACKET" #x2984)
("LEFT WHITE PARENTHESIS" #x2985)
("RIGHT WHITE PARENTHESIS" #x2986)
("Z NOTATION LEFT IMAGE BRACKET" #x2987)
("Z NOTATION RIGHT IMAGE BRACKET" #x2988)
("Z NOTATION LEFT BINDING BRACKET" #x2989)
("Z NOTATION RIGHT BINDING BRACKET" #x298A)
("LEFT SQUARE BRACKET WITH UNDERBAR" #x298B)
("RIGHT SQUARE BRACKET WITH UNDERBAR" #x298C)
("LEFT SQUARE BRACKET WITH TICK IN TOP CORNER" #x298D)
("RIGHT SQUARE BRACKET WITH TICK IN BOTTOM CORNER" #x298E)
("LEFT SQUARE BRACKET WITH TICK IN BOTTOM CORNER" #x298F)
("RIGHT SQUARE BRACKET WITH TICK IN TOP CORNER" #x2990)
("LEFT ANGLE BRACKET WITH DOT" #x2991)
("RIGHT ANGLE BRACKET WITH DOT" #x2992)
("LEFT ARC LESS-THAN BRACKET" #x2993)
("RIGHT ARC GREATER-THAN BRACKET" #x2994)
("DOUBLE LEFT ARC GREATER-THAN BRACKET" #x2995)
("DOUBLE RIGHT ARC LESS-THAN BRACKET" #x2996)
("LEFT BLACK TORTOISE SHELL BRACKET" #x2997)
("RIGHT BLACK TORTOISE SHELL BRACKET" #x2998)
("DOTTED FENCE" #x2999)
("VERTICAL ZIGZAG LINE" #x299A)
("MEASURED ANGLE OPENING LEFT" #x299B)
("RIGHT ANGLE VARIANT WITH SQUARE" #x299C)
("MEASURED RIGHT ANGLE WITH DOT" #x299D)
("ANGLE WITH S INSIDE" #x299E)
("ACUTE ANGLE" #x299F)
("SPHERICAL ANGLE OPENING LEFT" #x29A0)
("SPHERICAL ANGLE OPENING UP" #x29A1)
("TURNED ANGLE" #x29A2)
("REVERSED ANGLE" #x29A3)
("ANGLE WITH UNDERBAR" #x29A4)
("REVERSED ANGLE WITH UNDERBAR" #x29A5)
("OBLIQUE ANGLE OPENING UP" #x29A6)
("OBLIQUE ANGLE OPENING DOWN" #x29A7)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND RIGHT" #x29A8)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND LEFT" #x29A9)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND RIGHT" #x29AA)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND LEFT" #x29AB)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND UP" #x29AC)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND UP" #x29AD)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND DOWN" #x29AE)
("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND DOWN" #x29AF)
("REVERSED EMPTY SET" #x29B0)
("EMPTY SET WITH OVERBAR" #x29B1)
("EMPTY SET WITH SMALL CIRCLE ABOVE" #x29B2)
("EMPTY SET WITH RIGHT ARROW ABOVE" #x29B3)
("EMPTY SET WITH LEFT ARROW ABOVE" #x29B4)
("CIRCLE WITH HORIZONTAL BAR" #x29B5)
("CIRCLED VERTICAL BAR" #x29B6)
("CIRCLED PARALLEL" #x29B7)
("CIRCLED REVERSE SOLIDUS" #x29B8)
("CIRCLED PERPENDICULAR" #x29B9)
("CIRCLE DIVIDED BY HORIZONTAL BAR AND TOP HALF DIVIDED BY VERTICAL BAR" #x29BA)
("CIRCLE WITH SUPERIMPOSED X" #x29BB)
("CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN" #x29BC)
("UP ARROW THROUGH CIRCLE" #x29BD)
("CIRCLED WHITE BULLET" #x29BE)
("CIRCLED BULLET" #x29BF)
("CIRCLED LESS-THAN" #x29C0)
("CIRCLED GREATER-THAN" #x29C1)
("CIRCLE WITH SMALL CIRCLE TO THE RIGHT" #x29C2)
("CIRCLE WITH TWO HORIZONTAL STROKES TO THE RIGHT" #x29C3)
("SQUARED RISING DIAGONAL SLASH" #x29C4)
("SQUARED FALLING DIAGONAL SLASH" #x29C5)
("SQUARED ASTERISK" #x29C6)
("SQUARED SMALL CIRCLE" #x29C7)
("SQUARED SQUARE" #x29C8)
("TWO JOINED SQUARES" #x29C9)
("TRIANGLE WITH DOT ABOVE" #x29CA)
("TRIANGLE WITH UNDERBAR" #x29CB)
("S IN TRIANGLE" #x29CC)
("TRIANGLE WITH SERIFS AT BOTTOM" #x29CD)
("RIGHT TRIANGLE ABOVE LEFT TRIANGLE" #x29CE)
("LEFT TRIANGLE BESIDE VERTICAL BAR" #x29CF)
("VERTICAL BAR BESIDE RIGHT TRIANGLE" #x29D0)
("BOWTIE WITH LEFT HALF BLACK" #x29D1)
("BOWTIE WITH RIGHT HALF BLACK" #x29D2)
("BLACK BOWTIE" #x29D3)
("TIMES WITH LEFT HALF BLACK" #x29D4)
("TIMES WITH RIGHT HALF BLACK" #x29D5)
("WHITE HOURGLASS" #x29D6)
("BLACK HOURGLASS" #x29D7)
("LEFT WIGGLY FENCE" #x29D8)
("RIGHT WIGGLY FENCE" #x29D9)
("LEFT DOUBLE WIGGLY FENCE" #x29DA)
("RIGHT DOUBLE WIGGLY FENCE" #x29DB)
("INCOMPLETE INFINITY" #x29DC)
("TIE OVER INFINITY" #x29DD)
("INFINITY NEGATED WITH VERTICAL BAR" #x29DE)
("DOUBLE-ENDED MULTIMAP" #x29DF)
("SQUARE WITH CONTOURED OUTLINE" #x29E0)
("INCREASES AS" #x29E1)
("SHUFFLE PRODUCT" #x29E2)
("EQUALS SIGN AND SLANTED PARALLEL" #x29E3)
("EQUALS SIGN AND SLANTED PARALLEL WITH TILDE ABOVE" #x29E4)
("IDENTICAL TO AND SLANTED PARALLEL" #x29E5)
("GLEICH STARK" #x29E6)
("THERMODYNAMIC" #x29E7)
("DOWN-POINTING TRIANGLE WITH LEFT HALF BLACK" #x29E8)
("DOWN-POINTING TRIANGLE WITH RIGHT HALF BLACK" #x29E9)
("BLACK DIAMOND WITH DOWN ARROW" #x29EA)
("BLACK LOZENGE" #x29EB)
("WHITE CIRCLE WITH DOWN ARROW" #x29EC)
("BLACK CIRCLE WITH DOWN ARROW" #x29ED)
("ERROR-BARRED WHITE SQUARE" #x29EE)
("ERROR-BARRED BLACK SQUARE" #x29EF)
("ERROR-BARRED WHITE DIAMOND" #x29F0)
("ERROR-BARRED BLACK DIAMOND" #x29F1)
("ERROR-BARRED WHITE CIRCLE" #x29F2)
("ERROR-BARRED BLACK CIRCLE" #x29F3)
("RULE-DELAYED" #x29F4)
("REVERSE SOLIDUS OPERATOR" #x29F5)
("SOLIDUS WITH OVERBAR" #x29F6)
("REVERSE SOLIDUS WITH HORIZONTAL STROKE" #x29F7)
("BIG SOLIDUS" #x29F8)
("BIG REVERSE SOLIDUS" #x29F9)
("DOUBLE PLUS" #x29FA)
("TRIPLE PLUS" #x29FB)
("LEFT-POINTING CURVED ANGLE BRACKET" #x29FC)
("RIGHT-POINTING CURVED ANGLE BRACKET" #x29FD)
("TINY" #x29FE)
("MINY" #x29FF)
))
;; arch-tag: 4ae3dcff-8f56-4f7e-b9f3-07108e543969
(nxml-define-char-name-set 'supplemental-mathematical-operators
'(("N-ARY CIRCLED DOT OPERATOR" #x2A00)
("N-ARY CIRCLED PLUS OPERATOR" #x2A01)
("N-ARY CIRCLED TIMES OPERATOR" #x2A02)
("N-ARY UNION OPERATOR WITH DOT" #x2A03)
("N-ARY UNION OPERATOR WITH PLUS" #x2A04)
("N-ARY SQUARE INTERSECTION OPERATOR" #x2A05)
("N-ARY SQUARE UNION OPERATOR" #x2A06)
("TWO LOGICAL AND OPERATOR" #x2A07)
("TWO LOGICAL OR OPERATOR" #x2A08)
("N-ARY TIMES OPERATOR" #x2A09)
("MODULO TWO SUM" #x2A0A)
("SUMMATION WITH INTEGRAL" #x2A0B)
("QUADRUPLE INTEGRAL OPERATOR" #x2A0C)
("FINITE PART INTEGRAL" #x2A0D)
("INTEGRAL WITH DOUBLE STROKE" #x2A0E)
("INTEGRAL AVERAGE WITH SLASH" #x2A0F)
("CIRCULATION FUNCTION" #x2A10)
("ANTICLOCKWISE INTEGRATION" #x2A11)
("LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE" #x2A12)
("LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE" #x2A13)
("LINE INTEGRATION NOT INCLUDING THE POLE" #x2A14)
("INTEGRAL AROUND A POINT OPERATOR" #x2A15)
("QUATERNION INTEGRAL OPERATOR" #x2A16)
("INTEGRAL WITH LEFTWARDS ARROW WITH HOOK" #x2A17)
("INTEGRAL WITH TIMES SIGN" #x2A18)
("INTEGRAL WITH INTERSECTION" #x2A19)
("INTEGRAL WITH UNION" #x2A1A)
("INTEGRAL WITH OVERBAR" #x2A1B)
("INTEGRAL WITH UNDERBAR" #x2A1C)
("JOIN" #x2A1D)
("LARGE LEFT TRIANGLE OPERATOR" #x2A1E)
("Z NOTATION SCHEMA COMPOSITION" #x2A1F)
("Z NOTATION SCHEMA PIPING" #x2A20)
("Z NOTATION SCHEMA PROJECTION" #x2A21)
("PLUS SIGN WITH SMALL CIRCLE ABOVE" #x2A22)
("PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE" #x2A23)
("PLUS SIGN WITH TILDE ABOVE" #x2A24)
("PLUS SIGN WITH DOT BELOW" #x2A25)
("PLUS SIGN WITH TILDE BELOW" #x2A26)
("PLUS SIGN WITH SUBSCRIPT TWO" #x2A27)
("PLUS SIGN WITH BLACK TRIANGLE" #x2A28)