This result formalizes identify with by writing points as , and define the Wirtinger derivative z := 2 ( x+i y). It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.