doc/output.tex: Actually document the output symbols.