What does #f(x)=y# mean?