Fungrim home page

Fungrim entry: 249fd6

Re⁡(i)=0\operatorname{Re}(i) = 0
TeX:
\operatorname{Re}(i) = 0
Definitions:
Fungrim symbol Notation Short description
ReRe⁡(z)\operatorname{Re}(z) Real part
ConstIii Imaginary unit
Source code for this entry:
Entry(ID("249fd6"),
    Formula(Equal(Re(ConstI), 0)))

Topics using this entry

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