PROTOTYPE

See also the currently published format: U2900.pdf, and the raw data parsed from NamesList.txt: 2900.json.

2900 Supplemental Arrows-B 297F

Miscellaneous arrows

2900 ● RIGHTWARDS TWO-HEADED ARROW WITH VERTICAL STROKE

ALIAS_LINE { "text": "z notation partial surjection" }

CROSS_REF { "name2": "leftwards two-headed arrow with vertical stroke", "cp2": "2B34" }

2901 ● RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE

ALIAS_LINE { "text": "z notation finite surjection" }

CROSS_REF { "name2": "leftwards two-headed arrow with double vertical stroke", "cp2": "2B35" }

2902 ● LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE
2903 ● RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE
2904 ● LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE
2905 ● RIGHTWARDS TWO-HEADED ARROW FROM BAR

ALIAS_LINE { "text": "maps to" }

CROSS_REF { "name2": "leftwards two-headed arrow from bar", "cp2": "2B36" }

2906 ● LEFTWARDS DOUBLE ARROW FROM BAR

ALIAS_LINE { "text": "maps from" }

CROSS_REF { "name2": "long leftwards arrow from bar", "cp2": "27FB" }

2907 ● RIGHTWARDS DOUBLE ARROW FROM BAR

ALIAS_LINE { "text": "maps to" }

CROSS_REF { "name2": "long rightwards arrow from bar", "cp2": "27FC" }

2908 ● DOWNWARDS ARROW WITH HORIZONTAL STROKE
2909 ● UPWARDS ARROW WITH HORIZONTAL STROKE
290A ● UPWARDS TRIPLE ARROW

CROSS_REF { "name2": "upwards double arrow", "cp2": "21D1" }

CROSS_REF { "name2": "upwards quadruple arrow", "cp2": "27F0" }

290B ● DOWNWARDS TRIPLE ARROW

CROSS_REF { "name2": "downwards double arrow", "cp2": "21D3" }

CROSS_REF { "name2": "downwards quadruple arrow", "cp2": "27F1" }

290C ● LEFTWARDS DOUBLE DASH ARROW
290D ● RIGHTWARDS DOUBLE DASH ARROW
290E ● LEFTWARDS TRIPLE DASH ARROW
290F ● RIGHTWARDS TRIPLE DASH ARROW
2910 ● RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW

CROSS_REF { "name2": "leftwards two-headed triple dash arrow", "cp2": "2B37" }

2911 ● RIGHTWARDS ARROW WITH DOTTED STEM

CROSS_REF { "name2": "leftwards arrow with dotted stem", "cp2": "2B38" }

2912 ● UPWARDS ARROW TO BAR
2913 ● DOWNWARDS ARROW TO BAR
2914 ● RIGHTWARDS ARROW WITH TAIL WITH VERTICAL STROKE

ALIAS_LINE { "text": "z notation partial injection" }

CROSS_REF { "name2": "leftwards arrow with tail with vertical stroke", "cp2": "2B39" }

2915 ● RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE

ALIAS_LINE { "text": "z notation finite injection" }

CROSS_REF { "name2": "leftwards arrow with tail with double vertical stroke", "cp2": "2B3A" }

2916 ● RIGHTWARDS TWO-HEADED ARROW WITH TAIL

ALIAS_LINE { "text": "bijective mapping" }

ALIAS_LINE { "text": "z notation bijection" }

CROSS_REF { "name2": "leftwards two-headed arrow with tail", "cp2": "2B3B" }

2917 ● RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH VERTICAL STROKE

ALIAS_LINE { "text": "z notation surjective injection" }

CROSS_REF { "name2": "leftwards two-headed arrow with tail with vertical stroke", "cp2": "2B3C" }

2918 ● RIGHTWARDS TWO-HEADED ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE

ALIAS_LINE { "text": "z notation finite surjective injection" }

CROSS_REF { "name2": "leftwards two-headed arrow with tail with double vertical stroke", "cp2": "2B3D" }

Arrow tails

2919 ● LEFTWARDS ARROW-TAIL
291A ● RIGHTWARDS ARROW-TAIL
291B ● LEFTWARDS DOUBLE ARROW-TAIL
291C ● RIGHTWARDS DOUBLE ARROW-TAIL

Miscellaneous arrows

291D ● LEFTWARDS ARROW TO BLACK DIAMOND
291E ● RIGHTWARDS ARROW TO BLACK DIAMOND
291F ● LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND
2920 ● RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND
2921 ● NORTH WEST AND SOUTH EAST ARROW
2922 ● NORTH EAST AND SOUTH WEST ARROW
2923 ● NORTH WEST ARROW WITH HOOK
2924 ● NORTH EAST ARROW WITH HOOK
2925 ● SOUTH EAST ARROW WITH HOOK
2926 ● SOUTH WEST ARROW WITH HOOK

Crossing arrows for knot theory

2927 ● NORTH WEST ARROW AND NORTH EAST ARROW
2928 ● NORTH EAST ARROW AND SOUTH EAST ARROW
2929 ● SOUTH EAST ARROW AND SOUTH WEST ARROW
292A ● SOUTH WEST ARROW AND NORTH WEST ARROW
292B ● RISING DIAGONAL CROSSING FALLING DIAGONAL
292C ● FALLING DIAGONAL CROSSING RISING DIAGONAL

CROSS_REF { "name2": "crossing lanes", "cp2": "26CC" }

292D ● SOUTH EAST ARROW CROSSING NORTH EAST ARROW
292E ● NORTH EAST ARROW CROSSING SOUTH EAST ARROW
292F ● FALLING DIAGONAL CROSSING NORTH EAST ARROW
2930 ● RISING DIAGONAL CROSSING SOUTH EAST ARROW
2931 ● NORTH EAST ARROW CROSSING NORTH WEST ARROW
2932 ● NORTH WEST ARROW CROSSING NORTH EAST ARROW

Miscellaneous curved arrows

2933 ● WAVE ARROW POINTING DIRECTLY RIGHT

CROSS_REF { "name2": "rightwards wave arrow", "cp2": "219D" }

CROSS_REF { "name2": "wave arrow pointing directly left", "cp2": "2B3F" }

2934 ● ARROW POINTING RIGHTWARDS THEN CURVING UPWARDS
2935 ● ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS
2936 ● ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS
2937 ● ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS
2938 ● RIGHT-SIDE ARC CLOCKWISE ARROW
2939 ● LEFT-SIDE ARC ANTICLOCKWISE ARROW
293A ● TOP ARC ANTICLOCKWISE ARROW
293B ● BOTTOM ARC ANTICLOCKWISE ARROW
293C ● TOP ARC CLOCKWISE ARROW WITH MINUS
293D ● TOP ARC ANTICLOCKWISE ARROW WITH PLUS
293E ● LOWER RIGHT SEMICIRCULAR CLOCKWISE ARROW
293F ● LOWER LEFT SEMICIRCULAR ANTICLOCKWISE ARROW
2940 ● ANTICLOCKWISE CLOSED CIRCLE ARROW

CROSS_REF { "name2": "combining anticlockwise ring overlay", "cp2": "20DA" }

2941 ● CLOCKWISE CLOSED CIRCLE ARROW

CROSS_REF { "name2": "combining clockwise ring overlay", "cp2": "20D9" }

Arrows combined with operators

2942 ● RIGHTWARDS ARROW ABOVE SHORT LEFTWARDS ARROW
2943 ● LEFTWARDS ARROW ABOVE SHORT RIGHTWARDS ARROW
2944 ● SHORT RIGHTWARDS ARROW ABOVE LEFTWARDS ARROW
2945 ● RIGHTWARDS ARROW WITH PLUS BELOW
2946 ● LEFTWARDS ARROW WITH PLUS BELOW
2947 ● RIGHTWARDS ARROW THROUGH X

CROSS_REF { "name2": "leftwards arrow through x", "cp2": "2B3E" }

2948 ● LEFT RIGHT ARROW THROUGH SMALL CIRCLE
2949 ● UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE

Double-barbed harpoons

294A ● LEFT BARB UP RIGHT BARB DOWN HARPOON
294B ● LEFT BARB DOWN RIGHT BARB UP HARPOON
294C ● UP BARB RIGHT DOWN BARB LEFT HARPOON
294D ● UP BARB LEFT DOWN BARB RIGHT HARPOON
294E ● LEFT BARB UP RIGHT BARB UP HARPOON
294F ● UP BARB RIGHT DOWN BARB RIGHT HARPOON
2950 ● LEFT BARB DOWN RIGHT BARB DOWN HARPOON
2951 ● UP BARB LEFT DOWN BARB LEFT HARPOON

Modified harpoons

2952 ● LEFTWARDS HARPOON WITH BARB UP TO BAR
2953 ● RIGHTWARDS HARPOON WITH BARB UP TO BAR
2954 ● UPWARDS HARPOON WITH BARB RIGHT TO BAR
2955 ● DOWNWARDS HARPOON WITH BARB RIGHT TO BAR
2956 ● LEFTWARDS HARPOON WITH BARB DOWN TO BAR
2957 ● RIGHTWARDS HARPOON WITH BARB DOWN TO BAR
2958 ● UPWARDS HARPOON WITH BARB LEFT TO BAR
2959 ● DOWNWARDS HARPOON WITH BARB LEFT TO BAR
295A ● LEFTWARDS HARPOON WITH BARB UP FROM BAR
295B ● RIGHTWARDS HARPOON WITH BARB UP FROM BAR
295C ● UPWARDS HARPOON WITH BARB RIGHT FROM BAR
295D ● DOWNWARDS HARPOON WITH BARB RIGHT FROM BAR
295E ● LEFTWARDS HARPOON WITH BARB DOWN FROM BAR
295F ● RIGHTWARDS HARPOON WITH BARB DOWN FROM BAR
2960 ● UPWARDS HARPOON WITH BARB LEFT FROM BAR
2961 ● DOWNWARDS HARPOON WITH BARB LEFT FROM BAR

Paired harpoons

2962 ● LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN
2963 ● UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
2964 ● RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN
2965 ● DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
2966 ● LEFTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB UP
2967 ● LEFTWARDS HARPOON WITH BARB DOWN ABOVE RIGHTWARDS HARPOON WITH BARB DOWN
2968 ● RIGHTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB UP
2969 ● RIGHTWARDS HARPOON WITH BARB DOWN ABOVE LEFTWARDS HARPOON WITH BARB DOWN
296A ● LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH
296B ● LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH
296C ● RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH
296D ● RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH
296E ● UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
296F ● DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT

Miscellaneous arrow

2970 ● RIGHT DOUBLE ARROW WITH ROUNDED HEAD

CROSS_REF { "name2": "superset of", "cp2": "2283" }

Arrows combined with relations

2971 ● EQUALS SIGN ABOVE RIGHTWARDS ARROW

CROSS_REF { "name2": "equals sign above leftwards arrow", "cp2": "2B40" }

2972 ● TILDE OPERATOR ABOVE RIGHTWARDS ARROW

CROSS_REF { "name2": "reverse tilde operator above leftwards arrow", "cp2": "2B41" }

2973 ● LEFTWARDS ARROW ABOVE TILDE OPERATOR

CROSS_REF { "name2": "rightwards arrow above reverse tilde operator", "cp2": "2B4C" }

2974 ● RIGHTWARDS ARROW ABOVE TILDE OPERATOR

CROSS_REF { "name2": "leftwards arrow above reverse tilde operator", "cp2": "2B4B" }

2975 ● RIGHTWARDS ARROW ABOVE ALMOST EQUAL TO

CROSS_REF { "name2": "leftwards arrow above reverse almost equal to", "cp2": "2B42" }

2976 ● LESS-THAN ABOVE LEFTWARDS ARROW
2977 ● LEFTWARDS ARROW THROUGH LESS-THAN

CROSS_REF { "name2": "rightwards arrow through greater-than", "cp2": "2B43" }

2978 ● GREATER-THAN ABOVE RIGHTWARDS ARROW
2979 ● SUBSET ABOVE RIGHTWARDS ARROW
297A ● LEFTWARDS ARROW THROUGH SUBSET

CROSS_REF { "name2": "rightwards arrow through superset", "cp2": "2B44" }

297B ● SUPERSET ABOVE LEFTWARDS ARROW

Fish tails

297C ● LEFT FISH TAIL
297D ● RIGHT FISH TAIL
297E ● UP FISH TAIL
297F ● DOWN FISH TAIL