The real number giving the ratio of a circle's circumference to its diameter. 
Definitions:
| Fungrim symbol | Notation | Short description | 
|---|---|---|
| Pi | π | The constant pi (3.14...) | 
Source code for this entry:
Entry(ID("b5d706"),
    SymbolDefinition(Pi, Pi, "The constant pi (3.14...)"),
    Description("The real number giving the ratio of a circle's circumference to its diameter."))