Надстрочный знак краткости в форме дужки в древней славянской и старой русской письменности: поиск слов по маске и определению