Re: Definizione con := dà problemi di allineamento

Buonasera. Mi sono accorto che, utilizzando l’accostamento di : e = per definire (ad esempio una funzione), il simbolo di uguaglianza sembra (o è) non correttamente allineato al simbolo dei due punti, ma appare leggermente più in alto (cioè non è centrato tra i due punti, ma appare un po’ più spostato verso il punto in alto). È solo un’impressione o è la realtà? Mi conviene sostituire tale simbolo con
`
\coloneqq
`
del pacchetto mathtools (che tanto già carico?)
Grazie, saluti

Che c’entra con la tipografia?

Qualcuno usa semplicemente :=, altri \coloneqq. Altri, per esempio i matematici, non sanno nemmeno perché a qualcuno venga in mente un simbolo del genere. 😀

Ciao
Enrico