In the source you&#x27;ll find every occurence of pi as<p><pre><code>    &lt;span style=&#x27;font-family:Symbol&#x27;&gt;p&lt;&#x2F;span&gt;
</code></pre>
Apparently the Symbol typeface has π as p: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Symbol_(typeface)#Encoding" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Symbol_(typeface)#Encoding</a>. I guess that ones who has the correct font installed will see the expected character.