LTLがガチガチの数学コメントで溢れれて往年を思い出す（👈何様だ）
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
