V "GNAT Lib v15"
A -O2
A -O2
A -gnatA
A -gnatwu
A -gnatwa
A -gnaty
A -gnatQ
A -gnatn
A -mtune=nocona
A -march=nocona
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS

U unicode.names.misc_math_symbols_a%s  unicode-names-misc_math_symbols_a.ads  f74e1426 NE OO PR PK
W unicode.names%s	unicode-names.ads	unicode-names.ali

D system.ads		20250808065140 ed42882a system%s
D unicode.ads		20250218114115 a421878d unicode%s
D unicode-names.ads	20250218114115 fec77f75 unicode.names%s
D unicode-names-misc_math_symbols_a.ads  20250218114115 09896b53 unicode.names.misc_math_symbols_a%s
G a e
X 2 unicode.ads
111K9*Unicode 157e12 4|51r9 109r5
114M9*Unicode_Char 4|55r55 57r16 58r55 59r55 60r55 61r55 62r55 63r55 64r55
. 65r55 66r55 67r55 68r55 69r55 70r55 71r55 72r55 73r55 74r55 75r55 76r55
. 77r55 78r55 79r55 80r55 81r55 82r55 83r55 84r55 85r55 86r55 87r55 88r55
. 89r55 91r16 93r16 94r55 95r55 96r55 97r55 98r55 99r55 100r55 101r55 103r16
. 105r16 106r55 108r16
X 3 unicode-names.ads
6K17*Names 2|111k9 3|8e18 4|51r17 109r13
X 4 unicode-names-misc_math_symbols_a.ads
51K23*Misc_Math_Symbols_A 3|6k17 4|109l19 109e38
55m4*Three_Dimensional_Angle{2|114M9}
56m4*White_Triangle_Containing_Small_White_Triangle{2|114M9}
58m4*Perpendicular{2|114M9}
59m4*Open_Subset{2|114M9}
60m4*Open_Superset{2|114M9}
61m4*Left_S_Shaped_Bag_Delimiter{2|114M9}
62m4*Right_S_Shaped_Bag_Delimiter{2|114M9}
63m4*Or_With_Dot_Inside{2|114M9}
64m4*Reverse_Solidus_Preceding_Subset{2|114M9}
65m4*Superset_Preceding_Solidus{2|114M9}
66m4*Vertical_Bar_With_Horizontal_Stroke{2|114M9}
67m4*Mathematical_Rising_Diagonal{2|114M9}
68m4*Long_Division{2|114M9}
69m4*Mathematical_Falling_Diagonal{2|114M9}
70m4*Squared_Logical_And{2|114M9}
71m4*Squared_Logical_Or{2|114M9}
72m4*White_Diamond_With_Centred_Dot{2|114M9}
73m4*And_With_Dot{2|114M9}
74m4*Element_Of_Opening_Upwards{2|114M9}
75m4*Lower_Right_Corner_With_Dot{2|114M9}
76m4*Upper_Left_Corner_With_Dot{2|114M9}
77m4*Left_Outer_Join{2|114M9}
78m4*Right_Outer_Join{2|114M9}
79m4*Full_Outer_Join{2|114M9}
80m4*Large_Up_Tack{2|114M9}
81m4*Large_Down_Tack{2|114M9}
82m4*Left_And_Right_Double_Turnstile{2|114M9}
83m4*Left_And_Right_Tack{2|114M9}
84m4*Left_Multimap{2|114M9}
85m4*Long_Right_Tack{2|114M9}
86m4*Long_Left_Tack{2|114M9}
87m4*Up_Tack_With_Circle_Above{2|114M9}
88m4*Lozenge_Divided_By_Horizontal_Rule{2|114M9}
89m4*White_Concave_Sided_Diamond{2|114M9}
90m4*White_Concave_Sided_Diamond_With_Leftwards_Tick{2|114M9}
92m4*White_Concave_Sided_Diamond_With_Rightwards_Tick{2|114M9}
94m4*White_Square_With_Leftwards_Tick{2|114M9}
95m4*White_Square_With_Rightwards_Tick{2|114M9}
96m4*Mathematical_Left_White_Square_Bracket{2|114M9}
97m4*Mathematical_Right_White_Square_Bracket{2|114M9}
98m4*Mathematical_Left_Angle_Bracket{2|114M9}
99m4*Mathematical_Right_Angle_Bracket{2|114M9}
100m4*Mathematical_Left_Double_Angle_Bracket{2|114M9}
101m4*Mathematical_Right_Double_Angle_Bracket{2|114M9}
102m4*Mathematical_Left_White_Tortoise_Shell_Bracket{2|114M9}
104m4*Mathematical_Right_White_Tortoise_Shell_Bracket{2|114M9}
106m4*Mathematical_Left_Flattened_Parenthesis{2|114M9}
107m4*Mathematical_Right_Flattened_Parenthesis{2|114M9}

