TeXで書いたテキストの$...$を
$ ...
に置換するUserScript
https://twitter.com/hyuki/status/1034058451045892096
#UserScript
#TeX