I am not aware of a powerful tty renderer. Groff looks like it's aimed at paper outputs first. Also eqn can be called with `groff -e` (other preprocessors also have their flag) and inf (instead of infinity) produces a correct infinity glyph.
Indeed - seem to remember (?Brian) comment one journal turned down a paper due to how well typeset is was believing it'd been printed elsewhere before