That’s it. No matter what app you’re in or font you’re using, the Pi symbol will appear in the place of the letter “P” when you hold down the option key. Then, when you want to type the Pi symbol, ...