sopralineatura [so-pra-li-nea-tù-ra] o soprallineatura s.f. MAT Linea con cui si soprallinea ? CON. sottolineatura
logica: l?insieme di simboli convenzionali esprimenti le principali operazioni della logica (per es., un apice a destra, ovvero la sopralineatura, o il segno di meno anteposto o una barra verticale, tutti per indicare negazione).