Let $U\subseteq \mathbb{C}$ be an open subset, and $f:U\to \mathbb{C}$ be a function. Then $f$ is said to be (complex) differentiable at $z_0\in \mathbb{U}$ if the following limit exists:

In which case, we denote this limit $f^{\prime }(z_0)$.