-- This file is built automatically from data found on the -- unicode web site (http://www.unicode.org) package Unicode.Names.Arrows is Leftwards_Arrow : constant unicode_char := 16#2190#; Upwards_Arrow : constant unicode_char := 16#2191#; Rightwards_Arrow : constant unicode_char := 16#2192#; Z_Notation_Total_Function : constant unicode_char := 16#2192#; Downwards_Arrow : constant unicode_char := 16#2193#; Left_Right_Arrow : constant unicode_char := 16#2194#; Z_Notation_Relation : constant unicode_char := 16#2194#; Up_Down_Arrow : constant unicode_char := 16#2195#; North_West_Arrow : constant unicode_char := 16#2196#; North_East_Arrow : constant unicode_char := 16#2197#; South_East_Arrow : constant unicode_char := 16#2198#; South_West_Arrow : constant unicode_char := 16#2199#; Leftwards_Arrow_With_Stroke : constant unicode_char := 16#219A#; Rightwards_Arrow_With_Stroke : constant unicode_char := 16#219B#; Leftwards_Wave_Arrow : constant unicode_char := 16#219C#; Rightwards_Wave_Arrow : constant unicode_char := 16#219D#; Leftwards_Two_Headed_Arrow : constant unicode_char := 16#219E#; Upwards_Two_Headed_Arrow : constant unicode_char := 16#219F#; Rightwards_Two_Headed_Arrow : constant unicode_char := 16#21A0#; Z_Notation_Total_Surjection : constant unicode_char := 16#21A0#; Downwards_Two_Headed_Arrow : constant unicode_char := 16#21A1#; Form_Feed : constant unicode_char := 16#21A1#; Leftwards_Arrow_With_Tail : constant unicode_char := 16#21A2#; Rightwards_Arrow_With_Tail : constant unicode_char := 16#21A3#; Z_Notation_Total_Injection : constant unicode_char := 16#21A3#; Leftwards_Arrow_From_Bar : constant unicode_char := 16#21A4#; Upwards_Arrow_From_Bar : constant unicode_char := 16#21A5#; Rightwards_Arrow_From_Bar : constant unicode_char := 16#21A6#; Z_Notation_Maplet : constant unicode_char := 16#21A6#; Downwards_Arrow_From_Bar : constant unicode_char := 16#21A7#; Depth_Symbol : constant unicode_char := 16#21A7#; Up_Down_Arrow_With_Base : constant unicode_char := 16#21A8#; Leftwards_Arrow_With_Hook : constant unicode_char := 16#21A9#; Rightwards_Arrow_With_Hook : constant unicode_char := 16#21AA#; Leftwards_Arrow_With_Loop : constant unicode_char := 16#21AB#; Rightwards_Arrow_With_Loop : constant unicode_char := 16#21AC#; Left_Right_Wave_Arrow : constant unicode_char := 16#21AD#; Left_Right_Arrow_With_Stroke : constant unicode_char := 16#21AE#; Downwards_Zigzag_Arrow : constant unicode_char := 16#21AF#; Electrolysis : constant unicode_char := 16#21AF#; Upwards_Arrow_With_Tip_Leftwards : constant unicode_char := 16#21B0#; Upwards_Arrow_With_Tip_Rightwards : constant unicode_char := 16#21B1#; Downwards_Arrow_With_Tip_Leftwards : constant unicode_char := 16#21B2#; Downwards_Arrow_With_Tip_Rightwards : constant unicode_char := 16#21B3#; Rightwards_Arrow_With_Corner_Downwards : constant unicode_char := 16#21B4#; Line_Feed : constant unicode_char := 16#21B4#; Downwards_Arrow_With_Corner_Leftwards : constant unicode_char := 16#21B5#; Carriage_Return : constant unicode_char := 16#21B5#; New_Line : constant unicode_char := 16#21B5#; Anticlockwise_Top_Semicircle_Arrow : constant unicode_char := 16#21B6#; Clockwise_Top_Semicircle_Arrow : constant unicode_char := 16#21B7#; North_West_Arrow_To_Long_Bar : constant unicode_char := 16#21B8#; Home : constant unicode_char := 16#21B8#; Leftwards_Arrow_To_Bar_Over_Rightwards_Arrow_To_Bar : constant unicode_char := 16#21B9#; Tab_With_Shift_Tab : constant unicode_char := 16#21B9#; Anticlockwise_Open_Circle_Arrow : constant unicode_char := 16#21BA#; Clockwise_Open_Circle_Arrow : constant unicode_char := 16#21BB#; Leftwards_Harpoon_With_Barb_Upwards : constant unicode_char := 16#21BC#; Leftwards_Harpoon_With_Barb_Downwards : constant unicode_char := 16#21BD#; Upwards_Harpoon_With_Barb_Rightwards : constant unicode_char := 16#21BE#; Upwards_Harpoon_With_Barb_Leftwards : constant unicode_char := 16#21BF#; Rightwards_Harpoon_With_Barb_Upwards : constant unicode_char := 16#21C0#; Rightwards_Harpoon_With_Barb_Downwards : constant unicode_char := 16#21C1#; Downwards_Harpoon_With_Barb_Rightwards : constant unicode_char := 16#21C2#; Downwards_Harpoon_With_Barb_Leftwards : constant unicode_char := 16#21C3#; Rightwards_Arrow_Over_Leftwards_Arrow : constant unicode_char := 16#21C4#; Upwards_Arrow_Leftwards_Of_Downwards_Arrow : constant unicode_char := 16#21C5#; Leftwards_Arrow_Over_Rightwards_Arrow : constant unicode_char := 16#21C6#; Leftwards_Paired_Arrows : constant unicode_char := 16#21C7#; Upwards_Paired_Arrows : constant unicode_char := 16#21C8#; Rightwards_Paired_Arrows : constant unicode_char := 16#21C9#; Downwards_Paired_Arrows : constant unicode_char := 16#21CA#; Leftwards_Harpoon_Over_Rightwards_Harpoon : constant unicode_char := 16#21CB#; Rightwards_Harpoon_Over_Leftwards_Harpoon : constant unicode_char := 16#21CC#; Leftwards_Double_Arrow_With_Stroke : constant unicode_char := 16#21CD#; Left_Right_Double_Arrow_With_Stroke : constant unicode_char := 16#21CE#; Rightwards_Double_Arrow_With_Stroke : constant unicode_char := 16#21CF#; Leftwards_Double_Arrow : constant unicode_char := 16#21D0#; Upwards_Double_Arrow : constant unicode_char := 16#21D1#; Rightwards_Double_Arrow : constant unicode_char := 16#21D2#; Downwards_Double_Arrow : constant unicode_char := 16#21D3#; Left_Right_Double_Arrow : constant unicode_char := 16#21D4#; Up_Down_Double_Arrow : constant unicode_char := 16#21D5#; North_West_Double_Arrow : constant unicode_char := 16#21D6#; North_East_Double_Arrow : constant unicode_char := 16#21D7#; South_East_Double_Arrow : constant unicode_char := 16#21D8#; South_West_Double_Arrow : constant unicode_char := 16#21D9#; Leftwards_Triple_Arrow : constant unicode_char := 16#21DA#; Rightwards_Triple_Arrow : constant unicode_char := 16#21DB#; Leftwards_Squiggle_Arrow : constant unicode_char := 16#21DC#; Rightwards_Squiggle_Arrow : constant unicode_char := 16#21DD#; Upwards_Arrow_With_Double_Stroke : constant unicode_char := 16#21DE#; Page_Up : constant unicode_char := 16#21DE#; Downwards_Arrow_With_Double_Stroke : constant unicode_char := 16#21DF#; Page_Down : constant unicode_char := 16#21DF#; Leftwards_Dashed_Arrow : constant unicode_char := 16#21E0#; Upwards_Dashed_Arrow : constant unicode_char := 16#21E1#; Rightwards_Dashed_Arrow : constant unicode_char := 16#21E2#; Downwards_Dashed_Arrow : constant unicode_char := 16#21E3#; Leftwards_Arrow_To_Bar : constant unicode_char := 16#21E4#; Leftward_Tab : constant unicode_char := 16#21E4#; Rightwards_Arrow_To_Bar : constant unicode_char := 16#21E5#; Rightward_Tab : constant unicode_char := 16#21E5#; Leftwards_White_Arrow : constant unicode_char := 16#21E6#; Upwards_White_Arrow : constant unicode_char := 16#21E7#; Shift : constant unicode_char := 16#21E7#; Rightwards_White_Arrow : constant unicode_char := 16#21E8#; Downwards_White_Arrow : constant unicode_char := 16#21E9#; Upwards_White_Arrow_From_Bar : constant unicode_char := 16#21EA#; Caps_Lock : constant unicode_char := 16#21EA#; Upwards_White_Arrow_On_Pedestal : constant unicode_char := 16#21EB#; Level_2_Lock : constant unicode_char := 16#21EB#; Upwards_White_Arrow_On_Pedestal_With_Horizontal_Bar : constant unicode_char := 16#21EC#; -- Duplicate entry for Caps_Lock Upwards_White_Arrow_On_Pedestal_With_Vertical_Bar : constant unicode_char := 16#21ED#; Numerics_Lock : constant unicode_char := 16#21ED#; Upwards_White_Double_Arrow : constant unicode_char := 16#21EE#; Level_3_Select : constant unicode_char := 16#21EE#; Upwards_White_Double_Arrow_On_Pedestal : constant unicode_char := 16#21EF#; Level_3_Lock : constant unicode_char := 16#21EF#; Rightwards_White_Arrow_From_Wall : constant unicode_char := 16#21F0#; Group_Lock : constant unicode_char := 16#21F0#; North_West_Arrow_To_Corner : constant unicode_char := 16#21F1#; -- Duplicate entry for Home South_East_Arrow_To_Corner : constant unicode_char := 16#21F2#; -- Real Unicode name is end Unicode_End : constant unicode_char := 16#21F2#; Up_Down_White_Arrow : constant unicode_char := 16#21F3#; Scrolling : constant unicode_char := 16#21F3#; end Unicode.Names.Arrows;