Module render 

Functions

render_latex

ExprDAG → LaTeX view (spec §8.3 level 0, preserving the original form). TeX names come from the symbol table (spec §7); rendering is just a view conversion, decoupled from the reverse parsing of tex"..." (spec §4.9).

render_number

LaTeX view of a number (spec §8.3 default print_format := latex): rationals render as \frac{n}{d}.