6 ms·Plus you can always `\catcode\∘=0` if you really hate backslashes :-Dby xico 11mo agoPlus you can always `\catcode\∘=0` if you really hate backslashes :-D