Comment by xxpor

Unless and until desktop OSes make typing symbols not on the keyboard as easy as iOS or Android, I can't be bothered.