Once, I inadvertantly used the letter\(p\) for two different things in a (difficult, at the time, for me) group theory proof. The professor wrote nothing on it except, "There are twenty-five other letters of the alphabet."
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!