Searched refs:final_tex_name (Results 1 – 1 of 1) sorted by relevance
60 string final_tex_name = tex_name; in addSymbol() local61 if (final_tex_name.empty()) in addSymbol()63 final_tex_name = name; in addSymbol()65 while ((pos = final_tex_name.find('_', pos)) != string::npos) in addSymbol()67 final_tex_name.insert(pos, R"(\)"); in addSymbol()85 tex_name_table.push_back(final_tex_name); in addSymbol()