Files
xmlada/unicode/unicode-names-misc_math_symbols_a.ads
Emmanuel Briot 1184d97d88 Add support for unicode 8 names
Contributed by Nicolas Boulenguez (nicolas at debian.org)

Remove the old convert.pl that had been used to import the old list of
names, and replace with a full-Ada importer instead.
Import all names from the Unicode 8 standard.

Change-Id: I03bfa4d0ff769abc8a3b2e23149e1b745f3a8f10
2016-06-02 10:53:20 +02:00

63 lines
4.1 KiB
Ada

-- This file is built automatically from data found on the
-- unicode web site (http://www.unicode.org)
-- in version 8.0.0.
package Unicode.Names.Misc_Math_Symbols_A is
pragma Preelaborate;
pragma Style_Checks (Off);
Three_Dimensional_Angle : constant Unicode_Char := 16#27C0#;
White_Triangle_Containing_Small_White_Triangle :
constant Unicode_Char := 16#27C1#;
Perpendicular : constant Unicode_Char := 16#27C2#;
Open_Subset : constant Unicode_Char := 16#27C3#;
Open_Superset : constant Unicode_Char := 16#27C4#;
Left_S_Shaped_Bag_Delimiter : constant Unicode_Char := 16#27C5#;
Right_S_Shaped_Bag_Delimiter : constant Unicode_Char := 16#27C6#;
Or_With_Dot_Inside : constant Unicode_Char := 16#27C7#;
Reverse_Solidus_Preceding_Subset : constant Unicode_Char := 16#27C8#;
Superset_Preceding_Solidus : constant Unicode_Char := 16#27C9#;
Vertical_Bar_With_Horizontal_Stroke : constant Unicode_Char := 16#27CA#;
Mathematical_Rising_Diagonal : constant Unicode_Char := 16#27CB#;
Long_Division : constant Unicode_Char := 16#27CC#;
Mathematical_Falling_Diagonal : constant Unicode_Char := 16#27CD#;
Squared_Logical_And : constant Unicode_Char := 16#27CE#;
Squared_Logical_Or : constant Unicode_Char := 16#27CF#;
White_Diamond_With_Centred_Dot : constant Unicode_Char := 16#27D0#;
And_With_Dot : constant Unicode_Char := 16#27D1#;
Element_Of_Opening_Upwards : constant Unicode_Char := 16#27D2#;
Lower_Right_Corner_With_Dot : constant Unicode_Char := 16#27D3#;
Upper_Left_Corner_With_Dot : constant Unicode_Char := 16#27D4#;
Left_Outer_Join : constant Unicode_Char := 16#27D5#;
Right_Outer_Join : constant Unicode_Char := 16#27D6#;
Full_Outer_Join : constant Unicode_Char := 16#27D7#;
Large_Up_Tack : constant Unicode_Char := 16#27D8#;
Large_Down_Tack : constant Unicode_Char := 16#27D9#;
Left_And_Right_Double_Turnstile : constant Unicode_Char := 16#27DA#;
Left_And_Right_Tack : constant Unicode_Char := 16#27DB#;
Left_Multimap : constant Unicode_Char := 16#27DC#;
Long_Right_Tack : constant Unicode_Char := 16#27DD#;
Long_Left_Tack : constant Unicode_Char := 16#27DE#;
Up_Tack_With_Circle_Above : constant Unicode_Char := 16#27DF#;
Lozenge_Divided_By_Horizontal_Rule : constant Unicode_Char := 16#27E0#;
White_Concave_Sided_Diamond : constant Unicode_Char := 16#27E1#;
White_Concave_Sided_Diamond_With_Leftwards_Tick :
constant Unicode_Char := 16#27E2#;
White_Concave_Sided_Diamond_With_Rightwards_Tick :
constant Unicode_Char := 16#27E3#;
White_Square_With_Leftwards_Tick : constant Unicode_Char := 16#27E4#;
White_Square_With_Rightwards_Tick : constant Unicode_Char := 16#27E5#;
Mathematical_Left_White_Square_Bracket : constant Unicode_Char := 16#27E6#;
Mathematical_Right_White_Square_Bracket : constant Unicode_Char := 16#27E7#;
Mathematical_Left_Angle_Bracket : constant Unicode_Char := 16#27E8#;
Mathematical_Right_Angle_Bracket : constant Unicode_Char := 16#27E9#;
Mathematical_Left_Double_Angle_Bracket : constant Unicode_Char := 16#27EA#;
Mathematical_Right_Double_Angle_Bracket : constant Unicode_Char := 16#27EB#;
Mathematical_Left_White_Tortoise_Shell_Bracket :
constant Unicode_Char := 16#27EC#;
Mathematical_Right_White_Tortoise_Shell_Bracket :
constant Unicode_Char := 16#27ED#;
Mathematical_Left_Flattened_Parenthesis : constant Unicode_Char := 16#27EE#;
Mathematical_Right_Flattened_Parenthesis :
constant Unicode_Char := 16#27EF#;
end Unicode.Names.Misc_Math_Symbols_A;