Значение слова ГРАВИС в Большом современном толковом словаре русского языка

ГРАВИС

м.

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

Большой современный толковый словарь русского языка.