yeah they edited the comment to be all three actual % symbols after i replied, it was two ℅ symbols and a final % before.

℅ shows up as a long-press option on my particular android keyboard after the % key, so probably something like that.