I think most people interested in seeing mathematical notation are going to want the real thing, rather than ASCII art reproductions. Auto-generating ASCII art representations might be a fun challenge for a terminal client.