Searched refs:nr_latex_delimiters (Results 1 – 1 of 1) sorted by relevance
53 static int const nr_latex_delimiters = variable211 int const end = nr_latex_delimiters - 1; in GuiDelimiter()