"M ⊭ φ" read as "M modeln't φ"
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.