Your point about the caret is interesting, but I'm a bit dubious about using them for vertical arrows. I don't think it would be practical to type this combination in one go, since the two symbols would be on two separate lines. For the upward arrow, are you suggesting caret-return-space-space-space-...-vertical bar?
Are there any programming languages that use vertical arrows? Do they appear on one line or two?
i don't think that qualifies. because the alignment issue is about multi-line alignment of upward arrows. APL usage is clearly meant to be covered by some single Unicode glyph.
Ah, yes, I see now. I can’t imagine using a programming language where I had to compose symbols vertically. I don’t know if any such infernal language exists, and I don’t understand why o11c thinks it matters.
Are there any programming languages that use vertical arrows? Do they appear on one line or two?