Fungrim entry: c0ae5b

\left\{ W_{k}\!\left(z\right) : k \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left(z \ne 0 \,\mathbin{\operatorname{or}}\, k = 0\right) \right\} = \mathbb{C}

TeX:

\left\{ W_{k}\!\left(z\right) : k \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left(z \ne 0 \,\mathbin{\operatorname{or}}\, k = 0\right) \right\} = \mathbb{C}

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
`ZZ`	$\mathbb{Z}$	Integers
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("c0ae5b"),
    Formula(Equal(SetBuilder(LambertW(k, z), Tuple(k, z), And(Element(k, ZZ), Element(z, CC), Or(Unequal(z, 0), Equal(k, 0)))), CC)))

Topics using this entry

Lambert W-function

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