sopralineatura
sopralineatura (o soprallineatura) [Der. di sopralineare "tracciare una linea sopra qualcosa", comp. di sopra e lineare "tracciare linee"] [ALG] (a) Sulle lettere che indicano i punti estremi di un segmento, indica la lunghezza di questo. (b) Sul simb. di una grandezza, indica un valore particolare che di norma, salvo diversa indicazione, è il valore medio di essa (alternativamente all'uso di parentesi angolari). ◆ [ALG] [FAF] Nella logica matematica, sul simb. di una proposizione, trasforma questa nella sua negazione. ◆ [FSN] Sul simb. di una particella, lo trasforma nel simb. della rispettiva antiparticella.