Tanım kümesinden görüntü kümesine olduğunu belirtmek için $\to$ kullanılır.
Elemandan elemana olduğunu belirtmek için $\mapsto$ kullanılır.
Burada $y$ elemanının görüntüsünün $F(x,y)$ olduğunu söylüyor.
Tabii bu $G$ gibi yeni bir fonksiyon.
$G(y)=F(x,y)$.
Her $x\in \mathbb C$ için böyle fonksiyonlar üzerinde yorum yapıyorsa
kuralı $G_x(y)=F(x,y)$ olan $G_x$ fonksiyonları için bu özelliklerin sağlandığını belirtiyor olabilir.