Значение слова ГРАВИС в Новом словаре русского языка Ефремовой

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

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

Ефремова. Новый словарь русского языка Ефремовой.