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."))