This question already has an answer here:
I usually ask questions on this website, and many of them contain Greek letters in the code part. For instance:
After a while, someone edits the question and, magically, the capital theta becomes a real capital theta, formatted correctly. I am always bewildered by this, and searched for a way to do it, but haven't found it yet. Can anyone solve this intricate mystery for me?