TeX:
\left\{ W\!\left(x\right) : x \in \left(-{e}^{-1}, \infty\right) \right\} = \left(-1, \infty\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| LambertW | Lambert W-function | |
| OpenInterval | Open interval | |
| Exp | Exponential function | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("ee86fb"),
Formula(Equal(Set(LambertW(x), ForElement(x, OpenInterval(Neg(Exp(-1)), Infinity))), OpenInterval(-1, Infinity))))