-- This file is built automatically from data found on the -- unicode web site (http://www.unicode.org) package Unicode.Names.Mathematical_Operators is For_All : constant unicode_char := 16#2200#; Complement : constant unicode_char := 16#2201#; Partial_Differential : constant unicode_char := 16#2202#; There_Exists : constant unicode_char := 16#2203#; There_Does_Not_Exist : constant unicode_char := 16#2204#; Empty_Set : constant unicode_char := 16#2205#; Null_Set : constant unicode_char := 16#2205#; Increment : constant unicode_char := 16#2206#; Laplace_Operator : constant unicode_char := 16#2206#; Forward_Difference : constant unicode_char := 16#2206#; Nabla : constant unicode_char := 16#2207#; -- Duplicate entry for Laplace_Operator Backward_Difference : constant unicode_char := 16#2207#; Del : constant unicode_char := 16#2207#; Element_Of : constant unicode_char := 16#2208#; Not_An_Element_Of : constant unicode_char := 16#2209#; Small_Element_Of : constant unicode_char := 16#220A#; Contains_As_Member : constant unicode_char := 16#220B#; Such_That : constant unicode_char := 16#220B#; Does_Not_Contain_As_Member : constant unicode_char := 16#220C#; Small_Contains_As_Member : constant unicode_char := 16#220D#; End_Of_Proof : constant unicode_char := 16#220E#; Q_E_D : constant unicode_char := 16#220E#; N_Ary_Product : constant unicode_char := 16#220F#; Product_Sign : constant unicode_char := 16#220F#; N_Ary_Coproduct : constant unicode_char := 16#2210#; Coproduct_Sign : constant unicode_char := 16#2210#; N_Ary_Summation : constant unicode_char := 16#2211#; Summation_Sign : constant unicode_char := 16#2211#; Minus_Sign : constant unicode_char := 16#2212#; Minus_Or_Plus_Sign : constant unicode_char := 16#2213#; Dot_Plus : constant unicode_char := 16#2214#; Division_Slash : constant unicode_char := 16#2215#; Set_Minus : constant unicode_char := 16#2216#; Asterisk_Operator : constant unicode_char := 16#2217#; Ring_Operator : constant unicode_char := 16#2218#; Composite_Function : constant unicode_char := 16#2218#; Apl_Jot : constant unicode_char := 16#2218#; Bullet_Operator : constant unicode_char := 16#2219#; Square_Root : constant unicode_char := 16#221A#; Radical_Sign : constant unicode_char := 16#221A#; Cube_Root : constant unicode_char := 16#221B#; Fourth_Root : constant unicode_char := 16#221C#; Proportional_To : constant unicode_char := 16#221D#; Infinity : constant unicode_char := 16#221E#; Right_Angle : constant unicode_char := 16#221F#; Angle : constant unicode_char := 16#2220#; Measured_Angle : constant unicode_char := 16#2221#; Spherical_Angle : constant unicode_char := 16#2222#; Angle_Arc : constant unicode_char := 16#2222#; Divides : constant unicode_char := 16#2223#; -- Duplicate entry for Such_That Apl_Stile : constant unicode_char := 16#2223#; Does_Not_Divide : constant unicode_char := 16#2224#; Parallel_To : constant unicode_char := 16#2225#; Not_Parallel_To : constant unicode_char := 16#2226#; Logical_And : constant unicode_char := 16#2227#; Wedge : constant unicode_char := 16#2227#; Conjunction : constant unicode_char := 16#2227#; Logical_Or : constant unicode_char := 16#2228#; Vee : constant unicode_char := 16#2228#; Disjunction : constant unicode_char := 16#2228#; Intersection : constant unicode_char := 16#2229#; Cap : constant unicode_char := 16#2229#; Hat : constant unicode_char := 16#2229#; Union : constant unicode_char := 16#222A#; Cup : constant unicode_char := 16#222A#; Integral : constant unicode_char := 16#222B#; Double_Integral : constant unicode_char := 16#222C#; Triple_Integral : constant unicode_char := 16#222D#; Contour_Integral : constant unicode_char := 16#222E#; Surface_Integral : constant unicode_char := 16#222F#; Volume_Integral : constant unicode_char := 16#2230#; Clockwise_Integral : constant unicode_char := 16#2231#; Clockwise_Contour_Integral : constant unicode_char := 16#2232#; Anticlockwise_Contour_Integral : constant unicode_char := 16#2233#; Therefore : constant unicode_char := 16#2234#; Because : constant unicode_char := 16#2235#; Ratio : constant unicode_char := 16#2236#; Proportion : constant unicode_char := 16#2237#; Dot_Minus : constant unicode_char := 16#2238#; Symmetric_Difference : constant unicode_char := 16#2238#; Excess : constant unicode_char := 16#2239#; Geometric_Proportion : constant unicode_char := 16#223A#; Homothetic : constant unicode_char := 16#223B#; Tilde_Operator : constant unicode_char := 16#223C#; Varies_With : constant unicode_char := 16#223C#; Difference_Between : constant unicode_char := 16#223C#; Similar_To : constant unicode_char := 16#223C#; -- Real Unicode name is not Unicode_Not : constant unicode_char := 16#223C#; Cycle : constant unicode_char := 16#223C#; Apl_Tilde : constant unicode_char := 16#223C#; Reversed_Tilde : constant unicode_char := 16#223D#; Lazy_S : constant unicode_char := 16#223D#; Inverted_Lazy_S : constant unicode_char := 16#223E#; Most_Positive : constant unicode_char := 16#223E#; Sine_Wave : constant unicode_char := 16#223F#; Alternating_Current : constant unicode_char := 16#223F#; Wreath_Product : constant unicode_char := 16#2240#; Not_Tilde : constant unicode_char := 16#2241#; Minus_Tilde : constant unicode_char := 16#2242#; Asymptotically_Equal_To : constant unicode_char := 16#2243#; Not_Asymptotically_Equal_To : constant unicode_char := 16#2244#; Approximately_Equal_To : constant unicode_char := 16#2245#; Approximately_But_Not_Actually_Equal_To : constant unicode_char := 16#2246#; Neither_Approximately_Nor_Actually_Equal_To : constant unicode_char := 16#2247#; Almost_Equal_To : constant unicode_char := 16#2248#; Asymptotic_To : constant unicode_char := 16#2248#; Not_Almost_Equal_To : constant unicode_char := 16#2249#; Almost_Equal_Or_Equal_To : constant unicode_char := 16#224A#; Triple_Tilde : constant unicode_char := 16#224B#; All_Equal_To : constant unicode_char := 16#224C#; Equivalent_To : constant unicode_char := 16#224D#; Geometrically_Equivalent_To : constant unicode_char := 16#224E#; -- Duplicate entry for Difference_Between Approaches_The_Limit : constant unicode_char := 16#2250#; Geometrically_Equal_To : constant unicode_char := 16#2251#; Approximately_Equal_To_Or_The_Image_Of : constant unicode_char := 16#2252#; Nearly_Equals : constant unicode_char := 16#2252#; Image_Of_Or_Approximately_Equal_To : constant unicode_char := 16#2253#; Colon_Equals : constant unicode_char := 16#2254#; Equals_Colon : constant unicode_char := 16#2255#; Ring_In_Equal_To : constant unicode_char := 16#2256#; Ring_Equal_To : constant unicode_char := 16#2257#; -- Duplicate entry for Approximately_Equal_To Corresponds_To : constant unicode_char := 16#2258#; Estimates : constant unicode_char := 16#2259#; -- Duplicate entry for Corresponds_To Equiangular_To : constant unicode_char := 16#225A#; Star_Equals : constant unicode_char := 16#225B#; Delta_Equal_To : constant unicode_char := 16#225C#; Equiangular : constant unicode_char := 16#225C#; Equal_To_By_Definition : constant unicode_char := 16#225C#; -- Duplicate entry for Equal_To_By_Definition Measured_By : constant unicode_char := 16#225E#; Questioned_Equal_To : constant unicode_char := 16#225F#; Not_Equal_To : constant unicode_char := 16#2260#; Identical_To : constant unicode_char := 16#2261#; Not_Identical_To : constant unicode_char := 16#2262#; Strictly_Equivalent_To : constant unicode_char := 16#2263#; Less_Than_Or_Equal_To : constant unicode_char := 16#2264#; Greater_Than_Or_Equal_To : constant unicode_char := 16#2265#; Less_Than_Over_Equal_To : constant unicode_char := 16#2266#; Greater_Than_Over_Equal_To : constant unicode_char := 16#2267#; Less_Than_But_Not_Equal_To : constant unicode_char := 16#2268#; Greater_Than_But_Not_Equal_To : constant unicode_char := 16#2269#; Much_Less_Than : constant unicode_char := 16#226A#; Much_Greater_Than : constant unicode_char := 16#226B#; Between : constant unicode_char := 16#226C#; Plaintiff : constant unicode_char := 16#226C#; Quantic : constant unicode_char := 16#226C#; Not_Equivalent_To : constant unicode_char := 16#226D#; Not_Less_Than : constant unicode_char := 16#226E#; Not_Greater_Than : constant unicode_char := 16#226F#; Neither_Less_Than_Nor_Equal_To : constant unicode_char := 16#2270#; Neither_Greater_Than_Nor_Equal_To : constant unicode_char := 16#2271#; Less_Than_Or_Equivalent_To : constant unicode_char := 16#2272#; Greater_Than_Or_Equivalent_To : constant unicode_char := 16#2273#; Neither_Less_Than_Nor_Equivalent_To : constant unicode_char := 16#2274#; Neither_Greater_Than_Nor_Equivalent_To : constant unicode_char := 16#2275#; Less_Than_Or_Greater_Than : constant unicode_char := 16#2276#; Greater_Than_Or_Less_Than : constant unicode_char := 16#2277#; Neither_Less_Than_Nor_Greater_Than : constant unicode_char := 16#2278#; Neither_Greater_Than_Nor_Less_Than : constant unicode_char := 16#2279#; Precedes : constant unicode_char := 16#227A#; Lower_Rank_Than : constant unicode_char := 16#227A#; Succeeds : constant unicode_char := 16#227B#; Higher_Rank_Than : constant unicode_char := 16#227B#; Precedes_Or_Equal_To : constant unicode_char := 16#227C#; Succeeds_Or_Equal_To : constant unicode_char := 16#227D#; Precedes_Or_Equivalent_To : constant unicode_char := 16#227E#; Succeeds_Or_Equivalent_To : constant unicode_char := 16#227F#; Does_Not_Precede : constant unicode_char := 16#2280#; Does_Not_Succeed : constant unicode_char := 16#2281#; Subset_Of : constant unicode_char := 16#2282#; Included_In_Set : constant unicode_char := 16#2282#; Superset_Of : constant unicode_char := 16#2283#; Includes_In_Set : constant unicode_char := 16#2283#; Not_A_Subset_Of : constant unicode_char := 16#2284#; Not_A_Superset_Of : constant unicode_char := 16#2285#; Subset_Of_Or_Equal_To : constant unicode_char := 16#2286#; Superset_Of_Or_Equal_To : constant unicode_char := 16#2287#; Neither_A_Subset_Of_Nor_Equal_To : constant unicode_char := 16#2288#; Neither_A_Superset_Of_Nor_Equal_To : constant unicode_char := 16#2289#; Subset_Of_With_Not_Equal_To : constant unicode_char := 16#228A#; Superset_Of_With_Not_Equal_To : constant unicode_char := 16#228B#; Multiset : constant unicode_char := 16#228C#; Multiset_Multiplication : constant unicode_char := 16#228D#; Multiset_Union : constant unicode_char := 16#228E#; Z_Notation_Bag_Addition : constant unicode_char := 16#228E#; Square_Image_Of : constant unicode_char := 16#228F#; Square_Original_Of : constant unicode_char := 16#2290#; Square_Image_Of_Or_Equal_To : constant unicode_char := 16#2291#; Square_Original_Of_Or_Equal_To : constant unicode_char := 16#2292#; Square_Cap : constant unicode_char := 16#2293#; Square_Cup : constant unicode_char := 16#2294#; Circled_Plus : constant unicode_char := 16#2295#; Direct_Sum : constant unicode_char := 16#2295#; Vector_Pointing_Into_Page : constant unicode_char := 16#2295#; Circled_Minus : constant unicode_char := 16#2296#; -- Duplicate entry for Symmetric_Difference Circled_Times : constant unicode_char := 16#2297#; Tensor_Product : constant unicode_char := 16#2297#; -- Duplicate entry for Vector_Pointing_Into_Page Circled_Division_Slash : constant unicode_char := 16#2298#; Circled_Dot_Operator : constant unicode_char := 16#2299#; Direct_Product : constant unicode_char := 16#2299#; Vector_Pointing_Out_Of_Page : constant unicode_char := 16#2299#; Circled_Ring_Operator : constant unicode_char := 16#229A#; Circled_Asterisk_Operator : constant unicode_char := 16#229B#; Circled_Equals : constant unicode_char := 16#229C#; Circled_Dash : constant unicode_char := 16#229D#; Squared_Plus : constant unicode_char := 16#229E#; Squared_Minus : constant unicode_char := 16#229F#; Squared_Times : constant unicode_char := 16#22A0#; Squared_Dot_Operator : constant unicode_char := 16#22A1#; Right_Tack : constant unicode_char := 16#22A2#; Turnstile : constant unicode_char := 16#22A2#; Proves : constant unicode_char := 16#22A2#; Implies : constant unicode_char := 16#22A2#; Yields : constant unicode_char := 16#22A2#; Reducible : constant unicode_char := 16#22A2#; Left_Tack : constant unicode_char := 16#22A3#; Reverse_Turnstile : constant unicode_char := 16#22A3#; Non_Theorem : constant unicode_char := 16#22A3#; Does_Not_Yield : constant unicode_char := 16#22A3#; Down_Tack : constant unicode_char := 16#22A4#; Top : constant unicode_char := 16#22A4#; Up_Tack : constant unicode_char := 16#22A5#; Orthogonal_To : constant unicode_char := 16#22A5#; Perpendicular : constant unicode_char := 16#22A5#; Base : constant unicode_char := 16#22A5#; Assertion : constant unicode_char := 16#22A6#; Reduces_To : constant unicode_char := 16#22A6#; Models : constant unicode_char := 16#22A7#; True : constant unicode_char := 16#22A8#; Statement_Is_True : constant unicode_char := 16#22A8#; Valid : constant unicode_char := 16#22A8#; Is_A_Tautology : constant unicode_char := 16#22A8#; Satisfies : constant unicode_char := 16#22A8#; Results_In : constant unicode_char := 16#22A8#; Forces : constant unicode_char := 16#22A9#; Triple_Vertical_Bar_Right_Turnstile : constant unicode_char := 16#22AA#; Double_Vertical_Bar_Double_Right_Turnstile : constant unicode_char := 16#22AB#; Does_Not_Prove : constant unicode_char := 16#22AC#; Not_True : constant unicode_char := 16#22AD#; Does_Not_Force : constant unicode_char := 16#22AE#; Negated_Double_Vertical_Bar_Double_Right_Turnstile : constant unicode_char := 16#22AF#; Precedes_Under_Relation : constant unicode_char := 16#22B0#; Succeeds_Under_Relation : constant unicode_char := 16#22B1#; Normal_Subgroup_Of : constant unicode_char := 16#22B2#; Contains_As_Normal_Subgroup : constant unicode_char := 16#22B3#; Normal_Subgroup_Of_Or_Equal_To : constant unicode_char := 16#22B4#; Contains_As_Normal_Subgroup_Or_Equal_To : constant unicode_char := 16#22B5#; Original_Of : constant unicode_char := 16#22B6#; Image_Of : constant unicode_char := 16#22B7#; Multimap : constant unicode_char := 16#22B8#; Hermitian_Conjugate_Matrix : constant unicode_char := 16#22B9#; Intercalate : constant unicode_char := 16#22BA#; -- Real Unicode name is XOR Unicode_Xor : constant unicode_char := 16#22BB#; Nand : constant unicode_char := 16#22BC#; Nor : constant unicode_char := 16#22BD#; Right_Angle_With_Arc : constant unicode_char := 16#22BE#; Right_Triangle : constant unicode_char := 16#22BF#; N_Ary_Logical_And : constant unicode_char := 16#22C0#; N_Ary_Logical_Or : constant unicode_char := 16#22C1#; N_Ary_Intersection : constant unicode_char := 16#22C2#; Z_Notation_Generalised_Intersection : constant unicode_char := 16#22C2#; N_Ary_Union : constant unicode_char := 16#22C3#; Z_Notation_Generalised_Union : constant unicode_char := 16#22C3#; Diamond_Operator : constant unicode_char := 16#22C4#; Dot_Operator : constant unicode_char := 16#22C5#; Star_Operator : constant unicode_char := 16#22C6#; Division_Times : constant unicode_char := 16#22C7#; Bowtie : constant unicode_char := 16#22C8#; Left_Normal_Factor_Semidirect_Product : constant unicode_char := 16#22C9#; Right_Normal_Factor_Semidirect_Product : constant unicode_char := 16#22CA#; Left_Semidirect_Product : constant unicode_char := 16#22CB#; Right_Semidirect_Product : constant unicode_char := 16#22CC#; Reversed_Tilde_Equals : constant unicode_char := 16#22CD#; Curly_Logical_Or : constant unicode_char := 16#22CE#; Curly_Logical_And : constant unicode_char := 16#22CF#; Double_Subset : constant unicode_char := 16#22D0#; Double_Superset : constant unicode_char := 16#22D1#; Double_Intersection : constant unicode_char := 16#22D2#; Double_Union : constant unicode_char := 16#22D3#; Pitchfork : constant unicode_char := 16#22D4#; Proper_Intersection : constant unicode_char := 16#22D4#; Equal_And_Parallel_To : constant unicode_char := 16#22D5#; Less_Than_With_Dot : constant unicode_char := 16#22D6#; Greater_Than_With_Dot : constant unicode_char := 16#22D7#; Very_Much_Less_Than : constant unicode_char := 16#22D8#; Very_Much_Greater_Than : constant unicode_char := 16#22D9#; Less_Than_Equal_To_Or_Greater_Than : constant unicode_char := 16#22DA#; Greater_Than_Equal_To_Or_Less_Than : constant unicode_char := 16#22DB#; Equal_To_Or_Less_Than : constant unicode_char := 16#22DC#; Equal_To_Or_Greater_Than : constant unicode_char := 16#22DD#; Equal_To_Or_Precedes : constant unicode_char := 16#22DE#; Equal_To_Or_Succeeds : constant unicode_char := 16#22DF#; Does_Not_Precede_Or_Equal : constant unicode_char := 16#22E0#; Does_Not_Succeed_Or_Equal : constant unicode_char := 16#22E1#; Not_Square_Image_Of_Or_Equal_To : constant unicode_char := 16#22E2#; Not_Square_Original_Of_Or_Equal_To : constant unicode_char := 16#22E3#; Square_Image_Of_Or_Not_Equal_To : constant unicode_char := 16#22E4#; Square_Original_Of_Or_Not_Equal_To : constant unicode_char := 16#22E5#; Less_Than_But_Not_Equivalent_To : constant unicode_char := 16#22E6#; Greater_Than_But_Not_Equivalent_To : constant unicode_char := 16#22E7#; Precedes_But_Not_Equivalent_To : constant unicode_char := 16#22E8#; Succeeds_But_Not_Equivalent_To : constant unicode_char := 16#22E9#; Not_Normal_Subgroup_Of : constant unicode_char := 16#22EA#; Does_Not_Contain_As_Normal_Subgroup : constant unicode_char := 16#22EB#; Not_Normal_Subgroup_Of_Or_Equal_To : constant unicode_char := 16#22EC#; Does_Not_Contain_As_Normal_Subgroup_Or_Equal : constant unicode_char := 16#22ED#; Vertical_Ellipsis : constant unicode_char := 16#22EE#; Midline_Horizontal_Ellipsis : constant unicode_char := 16#22EF#; Up_Right_Diagonal_Ellipsis : constant unicode_char := 16#22F0#; Down_Right_Diagonal_Ellipsis : constant unicode_char := 16#22F1#; end Unicode.Names.Mathematical_Operators;