> Are there any programming languages that use vertical arrows? Do they appear on one line or two?

Befunge (1993; many later languages were inspired by it) uses just the ASCII arrowheads. The arrow tail is more likely to exist in doc comments.