Very likely a mobile typo. Keyboards often expose a lot of different utf-8 chars when you hold it down and you're always a few mm away from releasing on somethi

Very likely a mobile typo. Keyboards often expose a lot of different utf-8 chars when you hold it down and you're always a few mm away from releasing on something completely different. Muscle memory and hard to see choices easily makes it a double.