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.sup_math_operators%s  unicode-names-sup_math_operators.ads  47a2cee1 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-sup_math_operators.ads  20250218114115 b965b194 unicode.names.sup_math_operators%s
G a e
X 2 unicode.ads
111K9*Unicode 157e12 4|51r9 350r5
114M9*Unicode_Char 4|55r55 56r55 57r55 58r55 59r55 60r55 61r55 62r55 63r55
. 64r55 65r55 66r55 67r55 68r55 69r55 70r55 71r55 72r55 74r16 76r16 77r55
. 78r55 79r55 80r55 81r55 82r55 83r55 84r55 85r55 86r55 87r55 88r55 89r55
. 90r55 91r55 92r55 93r55 94r55 95r55 96r55 97r55 98r55 99r55 100r55 101r55
. 102r55 103r55 104r55 105r55 106r55 107r55 108r55 109r55 111r16 113r16 114r55
. 115r55 116r55 117r55 118r55 119r55 120r55 121r55 122r55 123r55 124r55 125r55
. 126r55 127r55 128r55 129r55 130r55 131r55 132r55 133r55 135r16 136r55 137r55
. 138r55 139r55 141r16 142r55 143r55 144r55 145r55 146r55 147r55 148r55 149r55
. 150r55 151r55 152r55 153r55 154r55 155r55 156r55 157r55 158r55 159r55 160r55
. 161r55 162r55 163r55 164r55 166r16 168r16 169r55 170r55 171r55 172r55 173r55
. 174r55 175r55 176r55 177r55 178r55 179r55 180r55 181r55 183r16 184r55 185r55
. 186r55 187r55 188r55 189r55 190r55 192r16 194r16 196r16 198r16 200r16 202r16
. 203r55 204r55 205r55 207r16 208r55 209r55 211r16 213r16 214r55 215r55 217r16
. 219r16 221r16 223r16 225r16 227r16 228r55 229r55 231r16 233r16 234r55 235r55
. 237r16 239r16 240r55 241r55 243r16 245r16 246r55 247r55 248r55 249r55 250r55
. 251r55 252r55 254r16 256r16 257r55 258r55 259r55 260r55 261r55 262r55 263r55
. 264r55 265r55 266r55 267r55 268r55 269r55 270r55 271r55 272r55 273r55 274r55
. 275r55 276r55 277r55 278r55 279r55 280r55 281r55 282r55 283r55 284r55 285r55
. 286r55 287r55 288r55 289r55 290r55 291r55 292r55 293r55 294r55 295r55 296r55
. 297r55 298r55 299r55 300r55 301r55 302r55 304r16 305r55 306r55 307r55 308r55
. 309r55 310r55 311r55 312r55 313r55 314r55 315r55 316r55 318r16 320r16 321r55
. 322r55 323r55 324r55 325r55 326r55 327r55 329r16 330r55 331r55 332r55 333r55
. 334r55 335r55 337r16 338r55 339r55 340r55 342r16 344r16 345r55 346r55 347r55
. 348r55 349r55
X 3 unicode-names.ads
6K17*Names 2|111k9 3|8e18 4|51r17 350r13
X 4 unicode-names-sup_math_operators.ads
51K23*Sup_Math_Operators 3|6k17 4|350l19 350e37
55m4*N_Ary_Circled_Dot_Operator{2|114M9}
56m4*N_Ary_Circled_Plus_Operator{2|114M9}
57m4*N_Ary_Circled_Times_Operator{2|114M9}
58m4*N_Ary_Union_Operator_With_Dot{2|114M9}
59m4*N_Ary_Union_Operator_With_Plus{2|114M9}
60m4*N_Ary_Square_Intersection_Operator{2|114M9}
61m4*N_Ary_Square_Union_Operator{2|114M9}
62m4*Two_Logical_And_Operator{2|114M9}
63m4*Two_Logical_Or_Operator{2|114M9}
64m4*N_Ary_Times_Operator{2|114M9}
65m4*Modulo_Two_Sum{2|114M9}
66m4*Summation_With_Integral{2|114M9}
67m4*Quadruple_Integral_Operator{2|114M9}
68m4*Finite_Part_Integral{2|114M9}
69m4*Integral_With_Double_Stroke{2|114M9}
70m4*Integral_Average_With_Slash{2|114M9}
71m4*Circulation_Function{2|114M9}
72m4*Anticlockwise_Integration{2|114M9}
73m4*Line_Integration_With_Rectangular_Path_Around_Pole{2|114M9}
75m4*Line_Integration_With_Semicircular_Path_Around_Pole{2|114M9}
77m4*Line_Integration_Not_Including_The_Pole{2|114M9}
78m4*Integral_Around_A_Point_Operator{2|114M9}
79m4*Quaternion_Integral_Operator{2|114M9}
80m4*Integral_With_Leftwards_Arrow_With_Hook{2|114M9}
81m4*Integral_With_Times_Sign{2|114M9}
82m4*Integral_With_Intersection{2|114M9}
83m4*Integral_With_Union{2|114M9}
84m4*Integral_With_Overbar{2|114M9}
85m4*Integral_With_Underbar{2|114M9}
86m4*Join{2|114M9}
87m4*Large_Left_Triangle_Operator{2|114M9}
88m4*Z_Notation_Schema_Composition{2|114M9}
89m4*Z_Notation_Schema_Piping{2|114M9}
90m4*Z_Notation_Schema_Projection{2|114M9}
91m4*Plus_Sign_With_Small_Circle_Above{2|114M9}
92m4*Plus_Sign_With_Circumflex_Accent_Above{2|114M9}
93m4*Plus_Sign_With_Tilde_Above{2|114M9}
94m4*Plus_Sign_With_Dot_Below{2|114M9}
95m4*Plus_Sign_With_Tilde_Below{2|114M9}
96m4*Plus_Sign_With_Subscript_Two{2|114M9}
97m4*Plus_Sign_With_Black_Triangle{2|114M9}
98m4*Minus_Sign_With_Comma_Above{2|114M9}
99m4*Minus_Sign_With_Dot_Below{2|114M9}
100m4*Minus_Sign_With_Falling_Dots{2|114M9}
101m4*Minus_Sign_With_Rising_Dots{2|114M9}
102m4*Plus_Sign_In_Left_Half_Circle{2|114M9}
103m4*Plus_Sign_In_Right_Half_Circle{2|114M9}
104m4*Vector_Or_Cross_Product{2|114M9}
105m4*Multiplication_Sign_With_Dot_Above{2|114M9}
106m4*Multiplication_Sign_With_Underbar{2|114M9}
107m4*Semidirect_Product_With_Bottom_Closed{2|114M9}
108m4*Smash_Product{2|114M9}
109m4*Multiplication_Sign_In_Left_Half_Circle{2|114M9}
110m4*Multiplication_Sign_In_Right_Half_Circle{2|114M9}
112m4*Circled_Multiplication_Sign_With_Circumflex_Accent{2|114M9}
114m4*Multiplication_Sign_In_Double_Circle{2|114M9}
115m4*Circled_Division_Sign{2|114M9}
116m4*Plus_Sign_In_Triangle{2|114M9}
117m4*Minus_Sign_In_Triangle{2|114M9}
118m4*Multiplication_Sign_In_Triangle{2|114M9}
119m4*Interior_Product{2|114M9}
120m4*Righthand_Interior_Product{2|114M9}
121m4*Z_Notation_Relational_Composition{2|114M9}
122m4*Amalgamation_Or_Coproduct{2|114M9}
123m4*Intersection_With_Dot{2|114M9}
124m4*Union_With_Minus_Sign{2|114M9}
125m4*Union_With_Overbar{2|114M9}
126m4*Intersection_With_Overbar{2|114M9}
127m4*Intersection_With_Logical_And{2|114M9}
128m4*Union_With_Logical_Or{2|114M9}
129m4*Union_Above_Intersection{2|114M9}
130m4*Intersection_Above_Union{2|114M9}
131m4*Union_Above_Bar_Above_Intersection{2|114M9}
132m4*Intersection_Above_Bar_Above_Union{2|114M9}
133m4*Union_Beside_And_Joined_With_Union{2|114M9}
134m4*Intersection_Beside_And_Joined_With_Intersection{2|114M9}
136m4*Closed_Union_With_Serifs{2|114M9}
137m4*Closed_Intersection_With_Serifs{2|114M9}
138m4*Double_Square_Intersection{2|114M9}
139m4*Double_Square_Union{2|114M9}
140m4*Closed_Union_With_Serifs_And_Smash_Product{2|114M9}
142m4*Logical_And_With_Dot_Above{2|114M9}
143m4*Logical_Or_With_Dot_Above{2|114M9}
144m4*Double_Logical_And{2|114M9}
145m4*Double_Logical_Or{2|114M9}
146m4*Two_Intersecting_Logical_And{2|114M9}
147m4*Two_Intersecting_Logical_Or{2|114M9}
148m4*Sloping_Large_Or{2|114M9}
149m4*Sloping_Large_And{2|114M9}
150m4*Logical_Or_Overlapping_Logical_And{2|114M9}
151m4*Logical_And_With_Middle_Stem{2|114M9}
152m4*Logical_Or_With_Middle_Stem{2|114M9}
153m4*Logical_And_With_Horizontal_Dash{2|114M9}
154m4*Logical_Or_With_Horizontal_Dash{2|114M9}
155m4*Logical_And_With_Double_Overbar{2|114M9}
156m4*Logical_And_With_Underbar{2|114M9}
157m4*Logical_And_With_Double_Underbar{2|114M9}
158m4*Small_Vee_With_Underbar{2|114M9}
159m4*Logical_Or_With_Double_Overbar{2|114M9}
160m4*Logical_Or_With_Double_Underbar{2|114M9}
161m4*Z_Notation_Domain_Antirestriction{2|114M9}
162m4*Z_Notation_Range_Antirestriction{2|114M9}
163m4*Equals_Sign_With_Dot_Below{2|114M9}
164m4*Identical_With_Dot_Above{2|114M9}
165m4*Triple_Horizontal_Bar_With_Double_Vertical_Stroke{2|114M9}
167m4*Triple_Horizontal_Bar_With_Triple_Vertical_Stroke{2|114M9}
169m4*Tilde_Operator_With_Dot_Above{2|114M9}
170m4*Tilde_Operator_With_Rising_Dots{2|114M9}
171m4*Similar_Minus_Similar{2|114M9}
172m4*Congruent_With_Dot_Above{2|114M9}
173m4*Equals_With_Asterisk{2|114M9}
174m4*Almost_Equal_To_With_Circumflex_Accent{2|114M9}
175m4*Approximately_Equal_Or_Equal_To{2|114M9}
176m4*Equals_Sign_Above_Plus_Sign{2|114M9}
177m4*Plus_Sign_Above_Equals_Sign{2|114M9}
178m4*Equals_Sign_Above_Tilde_Operator{2|114M9}
179m4*Double_Colon_Equal{2|114M9}
180m4*Two_Consecutive_Equals_Signs{2|114M9}
181m4*Three_Consecutive_Equals_Signs{2|114M9}
182m4*Equals_Sign_With_Two_Dots_Above_And_Two_Dots_Below{2|114M9}
184m4*Equivalent_With_Four_Dots_Above{2|114M9}
185m4*Less_Than_With_Circle_Inside{2|114M9}
186m4*Greater_Than_With_Circle_Inside{2|114M9}
187m4*Less_Than_With_Question_Mark_Above{2|114M9}
188m4*Greater_Than_With_Question_Mark_Above{2|114M9}
189m4*Less_Than_Or_Slanted_Equal_To{2|114M9}
190m4*Greater_Than_Or_Slanted_Equal_To{2|114M9}
191m4*Less_Than_Or_Slanted_Equal_To_With_Dot_Inside{2|114M9}
193m4*Greater_Than_Or_Slanted_Equal_To_With_Dot_Inside{2|114M9}
195m4*Less_Than_Or_Slanted_Equal_To_With_Dot_Above{2|114M9}
197m4*Greater_Than_Or_Slanted_Equal_To_With_Dot_Above{2|114M9}
199m4*Less_Than_Or_Slanted_Equal_To_With_Dot_Above_Right{2|114M9}
201m4*Greater_Than_Or_Slanted_Equal_To_With_Dot_Above_Left{2|114M9}
203m4*Less_Than_Or_Approximate{2|114M9}
204m4*Greater_Than_Or_Approximate{2|114M9}
205m4*Less_Than_And_Single_Line_Not_Equal_To{2|114M9}
206m4*Greater_Than_And_Single_Line_Not_Equal_To{2|114M9}
208m4*Less_Than_And_Not_Approximate{2|114M9}
209m4*Greater_Than_And_Not_Approximate{2|114M9}
210m4*Less_Than_Above_Double_Line_Equal_Above_Greater_Than{2|114M9}
212m4*Greater_Than_Above_Double_Line_Equal_Above_Less_Than{2|114M9}
214m4*Less_Than_Above_Similar_Or_Equal{2|114M9}
215m4*Greater_Than_Above_Similar_Or_Equal{2|114M9}
216m4*Less_Than_Above_Similar_Above_Greater_Than{2|114M9}
218m4*Greater_Than_Above_Similar_Above_Less_Than{2|114M9}
220m4*Less_Than_Above_Greater_Than_Above_Double_Line_Equal{2|114M9}
222m4*Greater_Than_Above_Less_Than_Above_Double_Line_Equal{2|114M9}
224m4*Less_Than_Above_Slanted_Equal_Above_Greater_Than_Above_Slanted_Equal{2|114M9}
226m4*Greater_Than_Above_Slanted_Equal_Above_Less_Than_Above_Slanted_Equal{2|114M9}
228m4*Slanted_Equal_To_Or_Less_Than{2|114M9}
229m4*Slanted_Equal_To_Or_Greater_Than{2|114M9}
230m4*Slanted_Equal_To_Or_Less_Than_With_Dot_Inside{2|114M9}
232m4*Slanted_Equal_To_Or_Greater_Than_With_Dot_Inside{2|114M9}
234m4*Double_Line_Equal_To_Or_Less_Than{2|114M9}
235m4*Double_Line_Equal_To_Or_Greater_Than{2|114M9}
236m4*Double_Line_Slanted_Equal_To_Or_Less_Than{2|114M9}
238m4*Double_Line_Slanted_Equal_To_Or_Greater_Than{2|114M9}
240m4*Similar_Or_Less_Than{2|114M9}
241m4*Similar_Or_Greater_Than{2|114M9}
242m4*Similar_Above_Less_Than_Above_Equals_Sign{2|114M9}
244m4*Similar_Above_Greater_Than_Above_Equals_Sign{2|114M9}
246m4*Double_Nested_Less_Than{2|114M9}
247m4*Double_Nested_Greater_Than{2|114M9}
248m4*Double_Nested_Less_Than_With_Underbar{2|114M9}
249m4*Greater_Than_Overlapping_Less_Than{2|114M9}
250m4*Greater_Than_Beside_Less_Than{2|114M9}
251m4*Less_Than_Closed_By_Curve{2|114M9}
252m4*Greater_Than_Closed_By_Curve{2|114M9}
253m4*Less_Than_Closed_By_Curve_Above_Slanted_Equal{2|114M9}
255m4*Greater_Than_Closed_By_Curve_Above_Slanted_Equal{2|114M9}
257m4*Smaller_Than{2|114M9}
258m4*Larger_Than{2|114M9}
259m4*Smaller_Than_Or_Equal_To{2|114M9}
260m4*Larger_Than_Or_Equal_To{2|114M9}
261m4*Equals_Sign_With_Bumpy_Above{2|114M9}
262m4*Precedes_Above_Single_Line_Equals_Sign{2|114M9}
263m4*Succeeds_Above_Single_Line_Equals_Sign{2|114M9}
264m4*Precedes_Above_Single_Line_Not_Equal_To{2|114M9}
265m4*Succeeds_Above_Single_Line_Not_Equal_To{2|114M9}
266m4*Precedes_Above_Equals_Sign{2|114M9}
267m4*Succeeds_Above_Equals_Sign{2|114M9}
268m4*Precedes_Above_Not_Equal_To{2|114M9}
269m4*Succeeds_Above_Not_Equal_To{2|114M9}
270m4*Precedes_Above_Almost_Equal_To{2|114M9}
271m4*Succeeds_Above_Almost_Equal_To{2|114M9}
272m4*Precedes_Above_Not_Almost_Equal_To{2|114M9}
273m4*Succeeds_Above_Not_Almost_Equal_To{2|114M9}
274m4*Double_Precedes{2|114M9}
275m4*Double_Succeeds{2|114M9}
276m4*Subset_With_Dot{2|114M9}
277m4*Superset_With_Dot{2|114M9}
278m4*Subset_With_Plus_Sign_Below{2|114M9}
279m4*Superset_With_Plus_Sign_Below{2|114M9}
280m4*Subset_With_Multiplication_Sign_Below{2|114M9}
281m4*Superset_With_Multiplication_Sign_Below{2|114M9}
282m4*Subset_Of_Or_Equal_To_With_Dot_Above{2|114M9}
283m4*Superset_Of_Or_Equal_To_With_Dot_Above{2|114M9}
284m4*Subset_Of_Above_Equals_Sign{2|114M9}
285m4*Superset_Of_Above_Equals_Sign{2|114M9}
286m4*Subset_Of_Above_Tilde_Operator{2|114M9}
287m4*Superset_Of_Above_Tilde_Operator{2|114M9}
288m4*Subset_Of_Above_Almost_Equal_To{2|114M9}
289m4*Superset_Of_Above_Almost_Equal_To{2|114M9}
290m4*Subset_Of_Above_Not_Equal_To{2|114M9}
291m4*Superset_Of_Above_Not_Equal_To{2|114M9}
292m4*Square_Left_Open_Box_Operator{2|114M9}
293m4*Square_Right_Open_Box_Operator{2|114M9}
294m4*Closed_Subset{2|114M9}
295m4*Closed_Superset{2|114M9}
296m4*Closed_Subset_Or_Equal_To{2|114M9}
297m4*Closed_Superset_Or_Equal_To{2|114M9}
298m4*Subset_Above_Superset{2|114M9}
299m4*Superset_Above_Subset{2|114M9}
300m4*Subset_Above_Subset{2|114M9}
301m4*Superset_Above_Superset{2|114M9}
302m4*Superset_Beside_Subset{2|114M9}
303m4*Superset_Beside_And_Joined_By_Dash_With_Subset{2|114M9}
305m4*Element_Of_Opening_Downwards{2|114M9}
306m4*Pitchfork_With_Tee_Top{2|114M9}
307m4*Transversal_Intersection{2|114M9}
308m4*Forking{2|114M9}
309m4*Nonforking{2|114M9}
310m4*Short_Left_Tack{2|114M9}
311m4*Short_Down_Tack{2|114M9}
312m4*Short_Up_Tack{2|114M9}
313m4*Perpendicular_With_S{2|114M9}
314m4*Vertical_Bar_Triple_Right_Turnstile{2|114M9}
315m4*Double_Vertical_Bar_Left_Turnstile{2|114M9}
316m4*Vertical_Bar_Double_Left_Turnstile{2|114M9}
317m4*Double_Vertical_Bar_Double_Left_Turnstile{2|114M9}
319m4*Long_Dash_From_Left_Member_Of_Double_Vertical{2|114M9}
321m4*Short_Down_Tack_With_Overbar{2|114M9}
322m4*Short_Up_Tack_With_Underbar{2|114M9}
323m4*Short_Up_Tack_Above_Short_Down_Tack{2|114M9}
324m4*Double_Down_Tack{2|114M9}
325m4*Double_Up_Tack{2|114M9}
326m4*Double_Stroke_Not_Sign{2|114M9}
327m4*Reversed_Double_Stroke_Not_Sign{2|114M9}
328m4*Does_Not_Divide_With_Reversed_Negation_Slash{2|114M9}
330m4*Vertical_Line_With_Circle_Above{2|114M9}
331m4*Vertical_Line_With_Circle_Below{2|114M9}
332m4*Down_Tack_With_Circle_Below{2|114M9}
333m4*Parallel_With_Horizontal_Stroke{2|114M9}
334m4*Parallel_With_Tilde_Operator{2|114M9}
335m4*Triple_Vertical_Bar_Binary_Relation{2|114M9}
336m4*Triple_Vertical_Bar_With_Horizontal_Stroke{2|114M9}
338m4*Triple_Colon_Operator{2|114M9}
339m4*Triple_Nested_Less_Than{2|114M9}
340m4*Triple_Nested_Greater_Than{2|114M9}
341m4*Double_Line_Slanted_Less_Than_Or_Equal_To{2|114M9}
343m4*Double_Line_Slanted_Greater_Than_Or_Equal_To{2|114M9}
345m4*Triple_Solidus_Binary_Relation{2|114M9}
346m4*Large_Triple_Vertical_Bar_Operator{2|114M9}
347m4*Double_Solidus_Operator{2|114M9}
348m4*White_Vertical_Bar{2|114M9}
349m4*N_Ary_White_Vertical_Bar{2|114M9}

