Значение слова ГРИФЕЛЁК в Орфографическом словаре

Что такое ГРИФЕЛЁК

грифелёк, -льк`а

Орфографический словарь.