(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)
    ))