This plugin allows you to prettify the symbols with actual symbols you commonly type, like arrows.