Gruppo Utilizzatori Italiani di TeX
Vorrei usare ogni tanto il simbolo di definizione, quello con la scritta “def” sopra il simbolo dell’uguale. L’ho definito così: `\newcommand{\Def}{\overset{\text{\textit{def}}}{=}}` Va bene? C’è un modo migliore per farlo? Grazie!