円周率の公式集

ぶらぶらしていたら、円周率の公式集なるものを発見。πの公式って綺麗なのが多いねー。 ところで、このページの書式って良く見かけるんですけど、整形ツールでもあるんでしょうか？