Wondering whether there is a standard on the typed combinations that go to make arrows using discretionary ligatures. For the following arrows:
I'm thinking the following combinations:
{<-}
{^|}
{->}
{|v}
{<->}
{^|v}
{<^}
{^>}
{v>}
{< v}
The use of curly brackets to eliminate the possibility of the combinations being typed because the user wants that combo, rather than an arrow.
(There's a space in the last one because it was treating it as some kind of html tag. That wouldn't be in the feature!)