I should just download the Mastodon source code and look at which HTML entities it keeps when I make a post and which it replaces with the corresponding Unicode character...

Their Git repository is really large... Takes a long time to clone.