This is a CommonDoc extension for entering special characters. https://github.com/CommonDoc/thorn Thanks!