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_b%s  unicode-names-misc_math_symbols_b.ads  9e0b7131 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_b.ads  20250218114115 60cc0e44 unicode.names.misc_math_symbols_b%s
G a e
X 2 unicode.ads
111K9*Unicode 157e12 4|51r9 201r5
114M9*Unicode_Char 4|55r55 56r55 57r55 58r55 59r55 60r55 61r55 62r55 63r55
. 64r55 65r55 66r55 67r55 69r16 71r16 73r16 75r16 76r55 77r55 78r55 79r55
. 80r55 81r55 82r55 83r55 84r55 85r55 86r55 87r55 88r55 89r55 90r55 91r55
. 92r55 93r55 94r55 95r55 96r55 97r55 98r55 100r16 102r16 104r16 106r16 108r16
. 110r16 112r16 114r16 115r55 116r55 117r55 118r55 119r55 120r55 121r55 122r55
. 123r55 124r55 126r16 127r55 129r16 130r55 131r55 132r55 133r55 134r55 135r55
. 137r16 138r55 139r55 140r55 141r55 142r55 143r55 144r55 145r55 146r55 147r55
. 148r55 149r55 150r55 151r55 152r55 153r55 154r55 155r55 156r55 157r55 158r55
. 159r55 160r55 161r55 162r55 163r55 164r55 165r55 166r55 167r55 168r55 169r55
. 171r16 172r55 173r55 174r55 176r16 178r16 179r55 180r55 181r55 182r55 183r55
. 184r55 185r55 186r55 187r55 188r55 189r55 190r55 191r55 192r55 193r55 194r55
. 195r55 196r55 197r55 198r55 199r55 200r55
X 3 unicode-names.ads
6K17*Names 2|111k9 3|8e18 4|51r17 201r13
X 4 unicode-names-misc_math_symbols_b.ads
51K23*Misc_Math_Symbols_B 3|6k17 4|201l19 201e38
55m4*Triple_Vertical_Bar_Delimiter{2|114M9}
56m4*Z_Notation_Spot{2|114M9}
57m4*Z_Notation_Type_Colon{2|114M9}
58m4*Left_White_Curly_Bracket{2|114M9}
59m4*Right_White_Curly_Bracket{2|114M9}
60m4*Left_White_Parenthesis{2|114M9}
61m4*Right_White_Parenthesis{2|114M9}
62m4*Z_Notation_Left_Image_Bracket{2|114M9}
63m4*Z_Notation_Right_Image_Bracket{2|114M9}
64m4*Z_Notation_Left_Binding_Bracket{2|114M9}
65m4*Z_Notation_Right_Binding_Bracket{2|114M9}
66m4*Left_Square_Bracket_With_Underbar{2|114M9}
67m4*Right_Square_Bracket_With_Underbar{2|114M9}
68m4*Left_Square_Bracket_With_Tick_In_Top_Corner{2|114M9}
70m4*Right_Square_Bracket_With_Tick_In_Bottom_Corner{2|114M9}
72m4*Left_Square_Bracket_With_Tick_In_Bottom_Corner{2|114M9}
74m4*Right_Square_Bracket_With_Tick_In_Top_Corner{2|114M9}
76m4*Left_Angle_Bracket_With_Dot{2|114M9}
77m4*Right_Angle_Bracket_With_Dot{2|114M9}
78m4*Left_Arc_Less_Than_Bracket{2|114M9}
79m4*Right_Arc_Greater_Than_Bracket{2|114M9}
80m4*Double_Left_Arc_Greater_Than_Bracket{2|114M9}
81m4*Double_Right_Arc_Less_Than_Bracket{2|114M9}
82m4*Left_Black_Tortoise_Shell_Bracket{2|114M9}
83m4*Right_Black_Tortoise_Shell_Bracket{2|114M9}
84m4*Dotted_Fence{2|114M9}
85m4*Vertical_Zigzag_Line{2|114M9}
86m4*Measured_Angle_Opening_Left{2|114M9}
87m4*Right_Angle_Variant_With_Square{2|114M9}
88m4*Measured_Right_Angle_With_Dot{2|114M9}
89m4*Angle_With_S_Inside{2|114M9}
90m4*Acute_Angle{2|114M9}
91m4*Spherical_Angle_Opening_Left{2|114M9}
92m4*Spherical_Angle_Opening_Up{2|114M9}
93m4*Turned_Angle{2|114M9}
94m4*Reversed_Angle{2|114M9}
95m4*Angle_With_Underbar{2|114M9}
96m4*Reversed_Angle_With_Underbar{2|114M9}
97m4*Oblique_Angle_Opening_Up{2|114M9}
98m4*Oblique_Angle_Opening_Down{2|114M9}
99m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Up_And_Right{2|114M9}
101m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Up_And_Left{2|114M9}
103m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Down_And_Right{2|114M9}
105m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Down_And_Left{2|114M9}
107m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Right_And_Up{2|114M9}
109m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Left_And_Up{2|114M9}
111m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Right_And_Down{2|114M9}
113m4*Measured_Angle_With_Open_Arm_Ending_In_Arrow_Pointing_Left_And_Down{2|114M9}
115m4*Reversed_Empty_Set{2|114M9}
116m4*Empty_Set_With_Overbar{2|114M9}
117m4*Empty_Set_With_Small_Circle_Above{2|114M9}
118m4*Empty_Set_With_Right_Arrow_Above{2|114M9}
119m4*Empty_Set_With_Left_Arrow_Above{2|114M9}
120m4*Circle_With_Horizontal_Bar{2|114M9}
121m4*Circled_Vertical_Bar{2|114M9}
122m4*Circled_Parallel{2|114M9}
123m4*Circled_Reverse_Solidus{2|114M9}
124m4*Circled_Perpendicular{2|114M9}
125m4*Circle_Divided_By_Horizontal_Bar_And_Top_Half_Divided_By_Vertical_Bar{2|114M9}
127m4*Circle_With_Superimposed_X{2|114M9}
128m4*Circled_Anticlockwise_Rotated_Division_Sign{2|114M9}
130m4*Up_Arrow_Through_Circle{2|114M9}
131m4*Circled_White_Bullet{2|114M9}
132m4*Circled_Bullet{2|114M9}
133m4*Circled_Less_Than{2|114M9}
134m4*Circled_Greater_Than{2|114M9}
135m4*Circle_With_Small_Circle_To_The_Right{2|114M9}
136m4*Circle_With_Two_Horizontal_Strokes_To_The_Right{2|114M9}
138m4*Squared_Rising_Diagonal_Slash{2|114M9}
139m4*Squared_Falling_Diagonal_Slash{2|114M9}
140m4*Squared_Asterisk{2|114M9}
141m4*Squared_Small_Circle{2|114M9}
142m4*Squared_Square{2|114M9}
143m4*Two_Joined_Squares{2|114M9}
144m4*Triangle_With_Dot_Above{2|114M9}
145m4*Triangle_With_Underbar{2|114M9}
146m4*S_In_Triangle{2|114M9}
147m4*Triangle_With_Serifs_At_Bottom{2|114M9}
148m4*Right_Triangle_Above_Left_Triangle{2|114M9}
149m4*Left_Triangle_Beside_Vertical_Bar{2|114M9}
150m4*Vertical_Bar_Beside_Right_Triangle{2|114M9}
151m4*Bowtie_With_Left_Half_Black{2|114M9}
152m4*Bowtie_With_Right_Half_Black{2|114M9}
153m4*Black_Bowtie{2|114M9}
154m4*Times_With_Left_Half_Black{2|114M9}
155m4*Times_With_Right_Half_Black{2|114M9}
156m4*White_Hourglass{2|114M9}
157m4*Black_Hourglass{2|114M9}
158m4*Left_Wiggly_Fence{2|114M9}
159m4*Right_Wiggly_Fence{2|114M9}
160m4*Left_Double_Wiggly_Fence{2|114M9}
161m4*Right_Double_Wiggly_Fence{2|114M9}
162m4*Incomplete_Infinity{2|114M9}
163m4*Tie_Over_Infinity{2|114M9}
164m4*Infinity_Negated_With_Vertical_Bar{2|114M9}
165m4*Double_Ended_Multimap{2|114M9}
166m4*Square_With_Contoured_Outline{2|114M9}
167m4*Increases_As{2|114M9}
168m4*Shuffle_Product{2|114M9}
169m4*Equals_Sign_And_Slanted_Parallel{2|114M9}
170m4*Equals_Sign_And_Slanted_Parallel_With_Tilde_Above{2|114M9}
172m4*Identical_To_And_Slanted_Parallel{2|114M9}
173m4*Gleich_Stark{2|114M9}
174m4*Thermodynamic{2|114M9}
175m4*Down_Pointing_Triangle_With_Left_Half_Black{2|114M9}
177m4*Down_Pointing_Triangle_With_Right_Half_Black{2|114M9}
179m4*Black_Diamond_With_Down_Arrow{2|114M9}
180m4*Black_Lozenge{2|114M9}
181m4*White_Circle_With_Down_Arrow{2|114M9}
182m4*Black_Circle_With_Down_Arrow{2|114M9}
183m4*Error_Barred_White_Square{2|114M9}
184m4*Error_Barred_Black_Square{2|114M9}
185m4*Error_Barred_White_Diamond{2|114M9}
186m4*Error_Barred_Black_Diamond{2|114M9}
187m4*Error_Barred_White_Circle{2|114M9}
188m4*Error_Barred_Black_Circle{2|114M9}
189m4*Rule_Delayed{2|114M9}
190m4*Reverse_Solidus_Operator{2|114M9}
191m4*Solidus_With_Overbar{2|114M9}
192m4*Reverse_Solidus_With_Horizontal_Stroke{2|114M9}
193m4*Big_Solidus{2|114M9}
194m4*Big_Reverse_Solidus{2|114M9}
195m4*Double_Plus{2|114M9}
196m4*Triple_Plus{2|114M9}
197m4*Left_Pointing_Curved_Angle_Bracket{2|114M9}
198m4*Right_Pointing_Curved_Angle_Bracket{2|114M9}
199m4*Tiny{2|114M9}
200m4*Miny{2|114M9}

