¿Es posible ver la salida del 'pre-procesador' TeX, i. mi. el paso intermedio antes de que se realice la salida real, pero con todas las macros definidas por el usuario reemplazadas y solo queda un subconjunto de primitivas TeX?Transforma una fuente tex para que todas las macros sean reemplazadas por su definición
¿O no hay tal paso intermedio?
Pero sus ejemplos pueden ser claramente analizados. '\ def \ demo {\ def \ demo {cde}} \ demo' evalúa como' \ def \ demo {\ def \ demo {cde}} \ def \ demo {cde} 'y porque no hay evaluaciones posibles después de esto paso, podemos eliminar todas las declaraciones '\ def' y así tenerlo reducido a ∅. - '\ def \ demo {\ def \ demo {c {\ it de}}} \ demo \ demo' sin embargo, eventualmente se evaluaría como' c {\ it de} '. – Debilski
En este caso sí, pero en un uso real podríamos tener varias definiciones para \ demo y se usa en varios lugares. El punto al que me refería es que cada macro no tiene un texto de reemplazo fijo, por lo que no puedes simplemente reemplazar las cosas con su código. Por supuesto, TeX sí reemplaza las cosas si son macros, pero no en "una sola vez": cada token se examina según sea necesario. –