mirror of
https://github.com/AdaCore/xmlada.git
synced 2026-02-12 12:30:28 -08:00
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
63 lines
4.1 KiB
Ada
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;
|