pub fn render_latex(
pool: &ExprPool,
symbols: &SymbolTable,
id: ExprId,
) -> StringExpand description
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).