そのほか，$\uparrow$を何かしらの演算子として使っている例って見たことあったっけなあ．
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
