Sometimes you can use Unicode characters as substitutes, which thankfully is the case here. But their caveat is that fonts usually have really bad-looking arrows. (Shoutouts to Inter for being good)
You can also use CSS to render an underline as background, but... really? This feels wrong.
