@jagtesh They’ve been using the unicode arrow for a while now. I disliked its awkward shape. Seems CSS gives more precise control over this.