Is it intended as a Unicode replacement for Vertical arrow extender in
Symbol font?
Yes.
See http://std.dkuug.dk/JTC1/SC2/WG2/docs/n2508.htm for the proposal.
The Unicode manual should probably indicate this use as a note as a service to creators of fonts.
Jim Allan
