自由モノイドが消約的なのは重要で，Mal'cevの反例の構成でも使われています．
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
