真部分集合は$A \subsetneq B$よりも$A \subset B$、部分集合は$A \subset B$よりも$A \subseteq B$と表すほうがしっくりくるなあ...
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.