TeX:
\operatorname{atan}\!\left(2 + \sqrt{3}\right) = \frac{5 \pi}{12}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Atan | Inverse tangent | |
| Sqrt | Principal square root | |
| ConstPi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("b0049f"),
Formula(Equal(Atan(Add(2, Sqrt(3))), Div(Mul(5, ConstPi), 12))))