complex_conjugate_of_a

Complex conjugate of a function

context

$f:X\to\mathbb C$

definiendum	$\overline f:X\to\mathbb C$
definiendum	$\overline f(x):=\overline{f(x)}$

Put differently

$\overline f\equiv \mathrm{conj}\circ f$