\to -> \fun

[tetrapharmakon]

C'è differenza tra \to (reso come \rightarrow) e \fun (reso come \longrightarrow) e questa cosa va uniformata nel testo