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

where do I get up arrows for up arrow notation from.