Searched refs:TeXAddLeftArrow (Results 1 – 2 of 2) sorted by relevance
1610 static void TeXAddLeftArrow(Word Index) in TeXAddLeftArrow() function2599 AddInstTable(TeXTable, "leftarrow", 0, TeXAddLeftArrow); in main()
1606 static void TeXAddLeftArrow(Word Index) in TeXAddLeftArrow() function2777 AddInstTable(TeXTable, "leftarrow", 0, TeXAddLeftArrow); in main()