Comment Comment by xico Plus you can always `\catcode\∘=0` if you really hate backslashes :-D parent xico 1 year ago