$\pi = 2 \operatorname{asin}(1)$

TeX:

\pi = 2 \operatorname{asin}(1)

Definitions:

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

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

Source code for this entry:

Entry(ID("722241"), Formula(Equal(Pi, Mul(2, Asin(1)))))

$\pi = 2 \operatorname{asin}(1)$

TeX:

\pi = 2 \operatorname{asin}(1)

Definitions:

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

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

Source code for this entry:

Entry(ID("722241"), Formula(Equal(Pi, Mul(2, Asin(1)))))

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC