restrizione di funzione ad un insieme

come bisogna (o come più vi piace) scrivere la restrizione di una funzione ad un inseme?

Ecco le mie proposte:
`f|K
f|_K
f_{|K}
f_{|_K}`
Su molti libri ho trovato le prime due, anche se adire il vero l’ultima è quella che mi piace di più graficamente e che, a mio avviso, riporta in maniera più naturale quello che normalmente si scrive a penna: la sbarra verticale non arriva a toccare “il di sopra” della funzione e l’insieme è scritto “piccolino”.

Escluderei l’ultima. 🙂

Fra le prime tre sceglierei una qualunque, purché sempre la stessa. Propenderei per la seconda.

Ciao
Enrico

Anche io userei la seconda.