TeX:
\left(x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}\right) \;\implies\; R_G\!\left(x, y, z\right) \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CC | Complex numbers | |
| CarlsonRG | Carlson symmetric elliptic integral of the second kind |
Source code for this entry:
Entry(ID("c90834"),
Formula(Implies(And(Element(x, CC), Element(y, CC), Element(z, CC)), Element(CarlsonRG(x, y, z), CC))),
Variables(x, y, z))