User blog comment:Swooped me in one hit/how do you write double arrows?/@comment-29310326-20170213201617/@comment-30754445-20170213202613

Cut and paste this: ↑

You can also open a text file and type in "24" on the numeric keypad while pressing the left-alt button, and then cut and paste it into your post.

(be careful about typing alt-"24" directly in your browser, though. It might work or not, and it could lead to unexpected behavior).