Conflitto estetico tra \underline e \bar

Il comando \bar sovrappone alla variabile segnata un particolare segno tratto da una polizza di caratteri.
I comandi \overline e \undelrine sovrappongono o mettono sotto un segno orizzontale estensibile a piacere formato da un segno di cui è possibile stabilire sia la posizione verticale sia lo spessore; ma è molto difficile e andrebbe fatto direttamente dentro le definizioni di \overline e \underline, altrimenti tocca rispecificarlo ogni volta, e questo non è bello. Inoltre entrambi questi segni non sono il meglio per soprallineare o sottolineare una sola variabile, ma sono più adatti per altri usi dove la soprallineatura o la sottolineatura abbracciano diverse variabili.

Infine permettimi una domanda indiscreta: perché vuoi sottolineare delle variabili? Conosco delle discipline dove una sottolineatura indica una matrica ad una colonna e una doppia sottolineatura indica una matrice. Queste sono pratiche da macchina da scrivere e sono contrarie a qualunque norma ISO per la scrittura della matematica usata nelle scienze applicate e in fisica. Vettori e matrici (oltre che i tensori e le diadiche) si possono indicare con simboli un po’ più confacenti alle neorme e puoi scegliere per i vettori sia la forma con la freccia sia la forma neretta. per le matrici si usa sempre la forma neretta (pacchetto bm, e comando \bm{A} per ottenere A). È solo una pulce nell’orecchio, poi sta a te decidere come scrivere.

La mia obbiezione si riferiva alla matematica di certe scienze applicate.

Capisco il tuo problema; direi che \overline e \underlie si accoppino meglio nel loro significato opposto di lim inf e lim sup; tuttavia queste sono cose che i matematici sanno meglio di me, e spero che un matematico intervenga in tuo aiuto come io non sono capace di fare.

Non li ho guardati tutti, ma ci sono un mucchio di simboli Nella Comprehensive symbol list (link qui sopra nella sezione Guide).
Anche usando XeLaTeX e i font matematici UNICODE “XITS Math” si hanno a disposizione moltissimi simboli e moltissimi integrali; per questi font scarica, se non l’hai mai fatto, il testo elettronico introxelatex.pdf (non ho a portata di mano il link, ma sono sicuro che lo trovi con Google). Naturalmente questi font possono essere usati solo con un motore di composizione che accetti al matematica UNICODE, per esempio, guarda caso, XeLaTeX; non è difficile usare a XeLaTeX, come non è difficile usare LuaLaTeX, ma al primo approccio potrebbe sembrare un grosso ostacolo.