Fungrim home page

Fungrim entry: 55498b

{W0 ⁣(x):x{e1}}={1}\left\{ W_{0}\!\left(x\right) : x \in \left\{-{e}^{-1}\right\} \right\} = \left\{-1\right\}
TeX:
\left\{ W_{0}\!\left(x\right) : x \in \left\{-{e}^{-1}\right\} \right\} = \left\{-1\right\}
Definitions:
Fungrim symbol Notation Short description
SetBuilder{f ⁣(x):P ⁣(x)}\left\{ f\!\left(x\right) : P\!\left(x\right) \right\} Set comprehension
LambertWWk ⁣(z)W_{k}\!\left(z\right) Lambert W-function
Expez{e}^{z} Exponential function
Source code for this entry:
Entry(ID("55498b"),
    Formula(Equal(SetBuilder(LambertW(0, x), x, Element(x, Set(Neg(Exp(-1))))), Set(-1))))

Topics using this entry

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

2019-06-18 07:49:59.356594 UTC