4 Marzo 2010 alle 13:51
#42634
::
Curiosità: $a^\frac{1}{2}$ funziona, ma non funziona $a^\cong$. Esercizio per l’incauto lettore. 🙂
Provo a dire qualcosa: \cong è un simbolo di relazione (definito con la primitiva \mathrel), pertanto funziona $a^{\cong}$ perché significa metti in esponente ad a la relazione
Senza parentesi graffe invece a^ viene interpretato come il primo elemento della relazione ma non è corretto perché manca la definizione stessa dell’esponente.
In effetti $a^{}\cong$ funziona, dove alla relazione manca il termine di destra.
Così l’esempio di \frac funziona perché consiste in un solo token.
Tutto chiaro allora…