substitute A for Bがreplace A by Bと語順が逆なのを知らなかったために文意が汲み取れず余計な時間を食ってしまった
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.