Web2c определяет свой стиль форматирования, используя строки Pascal, поэтому между именами csname нет символов-разделителей. Есть ли простой способ перечисления всех имен csname, связанных в файле .fmt?
Arthur Reutenauer ответил на этот вопрос на tex.sx , когда я спросил его там.
Реализация Tex в Web2c имеет недокументированный переключатель командной строки -debug-format, который выводит множествоинформация о формате, который будет компилироваться в стандартный вывод.
-debug-format