Searched refs:is_double_letter (Results 1 – 1 of 1) sorted by relevance
168 bool is_double_letter(const string &s) { in is_double_letter() function828 if (i<s_orig.size()-1 && (s=="log" || s.size()==1 || is_greek_letter(s) || is_double_letter(s))) { in idnt2markup()836 if (s.size()==1 || is_greek_letter(s) || is_double_letter(s)) in idnt2markup()856 if (is_double_letter(s)) { in idnt2markup()