Значение слова «гравис» в словаре Ефремовой

гравис м.

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