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

Что такое ГРАВИС

м.

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

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