3 ms·I guess it depends on a text editor. Mapping a key to insert that character is one possible solution.by u801e 6y agoI guess it depends on a text editor. Mapping a key to insert that character is one possible solution.