Гравис: значение слова в словаре Ефремовой

гравис м.

Разновидность диакритического знака (`) над гласной буквой.