Perdón por la vaguedad del título.
A veces escribimos las funciones como: $$f(2)=5$$ y a veces como $$f_2 = 5$$
y a veces con múltiples variables, como $$f_2(2)=5$$ en lugar de $$f(2,2)=5$$
En principio son lo mismo, pero permiten un énfasis diferente.
Me pregunto: ¿se puede distinguir entre los dos ya al escribir los espacios de función?
solemos escribir: $$f: \mathbb N \times \mathbb N \to \mathbb N$$
Pero esto no nos permite decir si esto se escribirá como $f_x(y)$ o como $f(x,y)$ .
¿Existe una notación estándar para denotar cuando se define la firma de tipo de $f$ que se escribirá como $f_x(y)$ en lugar de $f(x,y)$ ?