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.mathematical_operators%s  unicode-names-mathematical_operators.ads  b2a32673 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-mathematical_operators.ads  20250218114115 4c645906 unicode.names.mathematical_operators%s
G a e
X 2 unicode.ads
111K9*Unicode 157e12 4|51r9 320r5
114M9*Unicode_Char 4|55r55 56r55 57r55 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 90r55 91r55 92r55 93r55 94r55 95r55 96r55 97r55 98r55 99r55
. 100r55 101r55 102r55 103r55 104r55 105r55 106r55 107r55 108r55 109r55 110r55
. 111r55 112r55 113r55 114r55 115r55 116r55 117r55 118r55 119r55 120r55 121r55
. 122r55 123r55 124r55 125r55 127r16 128r55 129r55 130r55 131r55 132r55 133r55
. 134r55 135r55 136r55 137r55 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 170r55 171r55 172r55 173r55 174r55 175r55 176r55 177r55
. 178r55 179r55 180r55 181r55 182r55 183r55 184r55 185r55 186r55 187r55 188r55
. 189r55 190r55 191r55 192r55 193r55 194r55 195r55 196r55 197r55 198r55 199r55
. 200r55 201r55 202r55 203r55 204r55 205r55 206r55 207r55 208r55 209r55 210r55
. 211r55 212r55 213r55 214r55 215r55 216r55 217r55 218r55 219r55 220r55 221r55
. 222r55 223r55 224r55 225r55 226r55 228r16 229r55 230r55 231r55 233r16 234r55
. 235r55 236r55 237r55 238r55 239r55 240r55 241r55 242r55 243r55 244r55 246r55
. 247r55 248r55 249r55 250r55 251r55 252r55 253r55 254r55 255r55 256r55 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 297r16 298r55 299r55 300r55 301r55 302r55
. 304r16 306r16 307r55 308r55 309r55 310r55 311r55 312r55 314r16 316r16 317r55
. 318r55 319r55
X 3 unicode-names.ads
6K17*Names 2|111k9 3|8e18 4|51r17 320r13
X 4 unicode-names-mathematical_operators.ads
51K23*Mathematical_Operators 3|6k17 4|320l19 320e41
55m4*For_All{2|114M9}
56m4*Complement{2|114M9}
57m4*Partial_Differential{2|114M9}
58m4*There_Exists{2|114M9}
59m4*There_Does_Not_Exist{2|114M9}
60m4*Empty_Set{2|114M9}
61m4*Increment{2|114M9}
62m4*Nabla{2|114M9}
63m4*Element_Of{2|114M9}
64m4*Not_An_Element_Of{2|114M9}
65m4*Small_Element_Of{2|114M9}
66m4*Contains_As_Member{2|114M9}
67m4*Does_Not_Contain_As_Member{2|114M9}
68m4*Small_Contains_As_Member{2|114M9}
69m4*End_Of_Proof{2|114M9}
70m4*N_Ary_Product{2|114M9}
71m4*N_Ary_Coproduct{2|114M9}
72m4*N_Ary_Summation{2|114M9}
73m4*Minus_Sign{2|114M9}
74m4*Minus_Or_Plus_Sign{2|114M9}
75m4*Dot_Plus{2|114M9}
76m4*Division_Slash{2|114M9}
77m4*Set_Minus{2|114M9}
78m4*Asterisk_Operator{2|114M9}
79m4*Ring_Operator{2|114M9}
80m4*Bullet_Operator{2|114M9}
81m4*Square_Root{2|114M9}
82m4*Cube_Root{2|114M9}
83m4*Fourth_Root{2|114M9}
84m4*Proportional_To{2|114M9}
85m4*Infinity{2|114M9}
86m4*Right_Angle{2|114M9}
87m4*Angle{2|114M9}
88m4*Measured_Angle{2|114M9}
89m4*Spherical_Angle{2|114M9}
90m4*Divides{2|114M9}
91m4*Does_Not_Divide{2|114M9}
92m4*Parallel_To{2|114M9}
93m4*Not_Parallel_To{2|114M9}
94m4*Logical_And{2|114M9}
95m4*Logical_Or{2|114M9}
96m4*Intersection{2|114M9}
97m4*Union{2|114M9}
98m4*Integral{2|114M9}
99m4*Double_Integral{2|114M9}
100m4*Triple_Integral{2|114M9}
101m4*Contour_Integral{2|114M9}
102m4*Surface_Integral{2|114M9}
103m4*Volume_Integral{2|114M9}
104m4*Clockwise_Integral{2|114M9}
105m4*Clockwise_Contour_Integral{2|114M9}
106m4*Anticlockwise_Contour_Integral{2|114M9}
107m4*Therefore{2|114M9}
108m4*Because{2|114M9}
109m4*Ratio{2|114M9}
110m4*Proportion{2|114M9}
111m4*Dot_Minus{2|114M9}
112m4*Excess{2|114M9}
113m4*Geometric_Proportion{2|114M9}
114m4*Homothetic{2|114M9}
115m4*Tilde_Operator{2|114M9}
116m4*Reversed_Tilde{2|114M9}
117m4*Inverted_Lazy_S{2|114M9}
118m4*Sine_Wave{2|114M9}
119m4*Wreath_Product{2|114M9}
120m4*Not_Tilde{2|114M9}
121m4*Minus_Tilde{2|114M9}
122m4*Asymptotically_Equal_To{2|114M9}
123m4*Not_Asymptotically_Equal_To{2|114M9}
124m4*Approximately_Equal_To{2|114M9}
125m4*Approximately_But_Not_Actually_Equal_To{2|114M9}
126m4*Neither_Approximately_Nor_Actually_Equal_To{2|114M9}
128m4*Almost_Equal_To{2|114M9}
129m4*Not_Almost_Equal_To{2|114M9}
130m4*Almost_Equal_Or_Equal_To{2|114M9}
131m4*Triple_Tilde{2|114M9}
132m4*All_Equal_To{2|114M9}
133m4*Equivalent_To{2|114M9}
134m4*Geometrically_Equivalent_To{2|114M9}
135m4*Difference_Between{2|114M9}
136m4*Approaches_The_Limit{2|114M9}
137m4*Geometrically_Equal_To{2|114M9}
138m4*Approximately_Equal_To_Or_The_Image_Of{2|114M9}
139m4*Image_Of_Or_Approximately_Equal_To{2|114M9}
140m4*Colon_Equals{2|114M9}
141m4*Equals_Colon{2|114M9}
142m4*Ring_In_Equal_To{2|114M9}
143m4*Ring_Equal_To{2|114M9}
144m4*Corresponds_To{2|114M9}
145m4*Estimates{2|114M9}
146m4*Equiangular_To{2|114M9}
147m4*Star_Equals{2|114M9}
148m4*Delta_Equal_To{2|114M9}
149m4*Equal_To_By_Definition{2|114M9}
150m4*Measured_By{2|114M9}
151m4*Questioned_Equal_To{2|114M9}
152m4*Not_Equal_To{2|114M9}
153m4*Identical_To{2|114M9}
154m4*Not_Identical_To{2|114M9}
155m4*Strictly_Equivalent_To{2|114M9}
156m4*Less_Than_Or_Equal_To{2|114M9}
157m4*Greater_Than_Or_Equal_To{2|114M9}
158m4*Less_Than_Over_Equal_To{2|114M9}
159m4*Greater_Than_Over_Equal_To{2|114M9}
160m4*Less_Than_But_Not_Equal_To{2|114M9}
161m4*Greater_Than_But_Not_Equal_To{2|114M9}
162m4*Much_Less_Than{2|114M9}
163m4*Much_Greater_Than{2|114M9}
164m4*Between{2|114M9}
165m4*Not_Equivalent_To{2|114M9}
166m4*Not_Less_Than{2|114M9}
167m4*Not_Greater_Than{2|114M9}
168m4*Neither_Less_Than_Nor_Equal_To{2|114M9}
169m4*Neither_Greater_Than_Nor_Equal_To{2|114M9}
170m4*Less_Than_Or_Equivalent_To{2|114M9}
171m4*Greater_Than_Or_Equivalent_To{2|114M9}
172m4*Neither_Less_Than_Nor_Equivalent_To{2|114M9}
173m4*Neither_Greater_Than_Nor_Equivalent_To{2|114M9}
174m4*Less_Than_Or_Greater_Than{2|114M9}
175m4*Greater_Than_Or_Less_Than{2|114M9}
176m4*Neither_Less_Than_Nor_Greater_Than{2|114M9}
177m4*Neither_Greater_Than_Nor_Less_Than{2|114M9}
178m4*Precedes{2|114M9}
179m4*Succeeds{2|114M9}
180m4*Precedes_Or_Equal_To{2|114M9}
181m4*Succeeds_Or_Equal_To{2|114M9}
182m4*Precedes_Or_Equivalent_To{2|114M9}
183m4*Succeeds_Or_Equivalent_To{2|114M9}
184m4*Does_Not_Precede{2|114M9}
185m4*Does_Not_Succeed{2|114M9}
186m4*Subset_Of{2|114M9}
187m4*Superset_Of{2|114M9}
188m4*Not_A_Subset_Of{2|114M9}
189m4*Not_A_Superset_Of{2|114M9}
190m4*Subset_Of_Or_Equal_To{2|114M9}
191m4*Superset_Of_Or_Equal_To{2|114M9}
192m4*Neither_A_Subset_Of_Nor_Equal_To{2|114M9}
193m4*Neither_A_Superset_Of_Nor_Equal_To{2|114M9}
194m4*Subset_Of_With_Not_Equal_To{2|114M9}
195m4*Superset_Of_With_Not_Equal_To{2|114M9}
196m4*Multiset{2|114M9}
197m4*Multiset_Multiplication{2|114M9}
198m4*Multiset_Union{2|114M9}
199m4*Square_Image_Of{2|114M9}
200m4*Square_Original_Of{2|114M9}
201m4*Square_Image_Of_Or_Equal_To{2|114M9}
202m4*Square_Original_Of_Or_Equal_To{2|114M9}
203m4*Square_Cap{2|114M9}
204m4*Square_Cup{2|114M9}
205m4*Circled_Plus{2|114M9}
206m4*Circled_Minus{2|114M9}
207m4*Circled_Times{2|114M9}
208m4*Circled_Division_Slash{2|114M9}
209m4*Circled_Dot_Operator{2|114M9}
210m4*Circled_Ring_Operator{2|114M9}
211m4*Circled_Asterisk_Operator{2|114M9}
212m4*Circled_Equals{2|114M9}
213m4*Circled_Dash{2|114M9}
214m4*Squared_Plus{2|114M9}
215m4*Squared_Minus{2|114M9}
216m4*Squared_Times{2|114M9}
217m4*Squared_Dot_Operator{2|114M9}
218m4*Right_Tack{2|114M9}
219m4*Left_Tack{2|114M9}
220m4*Down_Tack{2|114M9}
221m4*Up_Tack{2|114M9}
222m4*Assertion{2|114M9}
223m4*Models{2|114M9}
224m4*True{2|114M9}
225m4*Forces{2|114M9}
226m4*Triple_Vertical_Bar_Right_Turnstile{2|114M9}
227m4*Double_Vertical_Bar_Double_Right_Turnstile{2|114M9}
229m4*Does_Not_Prove{2|114M9}
230m4*Not_True{2|114M9}
231m4*Does_Not_Force{2|114M9}
232m4*Negated_Double_Vertical_Bar_Double_Right_Turnstile{2|114M9}
234m4*Precedes_Under_Relation{2|114M9}
235m4*Succeeds_Under_Relation{2|114M9}
236m4*Normal_Subgroup_Of{2|114M9}
237m4*Contains_As_Normal_Subgroup{2|114M9}
238m4*Normal_Subgroup_Of_Or_Equal_To{2|114M9}
239m4*Contains_As_Normal_Subgroup_Or_Equal_To{2|114M9}
240m4*Original_Of{2|114M9}
241m4*Image_Of{2|114M9}
242m4*Multimap{2|114M9}
243m4*Hermitian_Conjugate_Matrix{2|114M9}
244m4*Intercalate{2|114M9}
246m4*Unicode_Xor{2|114M9}
247m4*Nand{2|114M9}
248m4*Nor{2|114M9}
249m4*Right_Angle_With_Arc{2|114M9}
250m4*Right_Triangle{2|114M9}
251m4*N_Ary_Logical_And{2|114M9}
252m4*N_Ary_Logical_Or{2|114M9}
253m4*N_Ary_Intersection{2|114M9}
254m4*N_Ary_Union{2|114M9}
255m4*Diamond_Operator{2|114M9}
256m4*Dot_Operator{2|114M9}
257m4*Star_Operator{2|114M9}
258m4*Division_Times{2|114M9}
259m4*Bowtie{2|114M9}
260m4*Left_Normal_Factor_Semidirect_Product{2|114M9}
261m4*Right_Normal_Factor_Semidirect_Product{2|114M9}
262m4*Left_Semidirect_Product{2|114M9}
263m4*Right_Semidirect_Product{2|114M9}
264m4*Reversed_Tilde_Equals{2|114M9}
265m4*Curly_Logical_Or{2|114M9}
266m4*Curly_Logical_And{2|114M9}
267m4*Double_Subset{2|114M9}
268m4*Double_Superset{2|114M9}
269m4*Double_Intersection{2|114M9}
270m4*Double_Union{2|114M9}
271m4*Pitchfork{2|114M9}
272m4*Equal_And_Parallel_To{2|114M9}
273m4*Less_Than_With_Dot{2|114M9}
274m4*Greater_Than_With_Dot{2|114M9}
275m4*Very_Much_Less_Than{2|114M9}
276m4*Very_Much_Greater_Than{2|114M9}
277m4*Less_Than_Equal_To_Or_Greater_Than{2|114M9}
278m4*Greater_Than_Equal_To_Or_Less_Than{2|114M9}
279m4*Equal_To_Or_Less_Than{2|114M9}
280m4*Equal_To_Or_Greater_Than{2|114M9}
281m4*Equal_To_Or_Precedes{2|114M9}
282m4*Equal_To_Or_Succeeds{2|114M9}
283m4*Does_Not_Precede_Or_Equal{2|114M9}
284m4*Does_Not_Succeed_Or_Equal{2|114M9}
285m4*Not_Square_Image_Of_Or_Equal_To{2|114M9}
286m4*Not_Square_Original_Of_Or_Equal_To{2|114M9}
287m4*Square_Image_Of_Or_Not_Equal_To{2|114M9}
288m4*Square_Original_Of_Or_Not_Equal_To{2|114M9}
289m4*Less_Than_But_Not_Equivalent_To{2|114M9}
290m4*Greater_Than_But_Not_Equivalent_To{2|114M9}
291m4*Precedes_But_Not_Equivalent_To{2|114M9}
292m4*Succeeds_But_Not_Equivalent_To{2|114M9}
293m4*Not_Normal_Subgroup_Of{2|114M9}
294m4*Does_Not_Contain_As_Normal_Subgroup{2|114M9}
295m4*Not_Normal_Subgroup_Of_Or_Equal_To{2|114M9}
296m4*Does_Not_Contain_As_Normal_Subgroup_Or_Equal{2|114M9}
298m4*Vertical_Ellipsis{2|114M9}
299m4*Midline_Horizontal_Ellipsis{2|114M9}
300m4*Up_Right_Diagonal_Ellipsis{2|114M9}
301m4*Down_Right_Diagonal_Ellipsis{2|114M9}
302m4*Element_Of_With_Long_Horizontal_Stroke{2|114M9}
303m4*Element_Of_With_Vertical_Bar_At_End_Of_Horizontal_Stroke{2|114M9}
305m4*Small_Element_Of_With_Vertical_Bar_At_End_Of_Horizontal_Stroke{2|114M9}
307m4*Element_Of_With_Dot_Above{2|114M9}
308m4*Element_Of_With_Overbar{2|114M9}
309m4*Small_Element_Of_With_Overbar{2|114M9}
310m4*Element_Of_With_Underbar{2|114M9}
311m4*Element_Of_With_Two_Horizontal_Strokes{2|114M9}
312m4*Contains_With_Long_Horizontal_Stroke{2|114M9}
313m4*Contains_With_Vertical_Bar_At_End_Of_Horizontal_Stroke{2|114M9}
315m4*Small_Contains_With_Vertical_Bar_At_End_Of_Horizontal_Stroke{2|114M9}
317m4*Contains_With_Overbar{2|114M9}
318m4*Small_Contains_With_Overbar{2|114M9}
319m4*Z_Notation_Bag_Membership{2|114M9}

