The real number giving the ratio of a circle's circumference to its diameter.

Definitions:

Fungrim symbol | Notation | Short description |
---|---|---|

ConstPi | $\pi$ | The constant pi (3.14...) |

Source code for this entry:

Entry(ID("b5d706"), SymbolDefinition(ConstPi, ConstPi, "The constant pi (3.14...)"), Description("The real number giving the ratio of a circle's circumference to its diameter."))