Fungrim entry: ee86fb

\left\{ W_{0}\!\left(x\right) : x \in \left(-{e}^{-1}, \infty\right) \right\} = \left(-1, \infty\right)

TeX:

\left\{ W_{0}\!\left(x\right) : x \in \left(-{e}^{-1}, \infty\right) \right\} = \left(-1, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`SetBuilder`	$\left\{ f\!\left(x\right) : P\!\left(x\right) \right\}$	Set comprehension
`LambertW`	$W_{k}\!\left(z\right)$	Lambert W-function
`OpenInterval`	$\left(a, b\right)$	Open interval
`Exp`	${e}^{z}$	Exponential function
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("ee86fb"),
    Formula(Equal(SetBuilder(LambertW(0, x), x, Element(x, OpenInterval(Neg(Exp(-1)), Infinity))), OpenInterval(-1, Infinity))))

Topics using this entry

2019-06-18 07:49:59.356594 UTC