Embed Notice

Of course, the mastodon veterans are explaining this again and again (and I am propagating this here), but this is not enough.

I am not sure using the same symbol for "boost" (here) and "retweet" (elsewhere) helps. We should not use the same symbol with different meanings.

We know this here as mathematicians.