It’s an uppercase pi; The lowercase one is what we’re all familiar with. What’s interesting is that the actual post has the lowercase one. Is it a bug in HN’s capitalization fixer?
[0] https://www.compart.com/en/unicode/U+03C0
[1] EDIT: once the comment was submitted, the font changed to Verdana.
[2] https://graphicdesign.stackexchange.com/questions/74608/why-...