Paragraph about Math software

If we rise above this level of bitmap, but view the
QED approach as too difficult, what can we do? Historically,
an early paper that sets down what had by that time become
fairly obvious. Namely that with this hypothesis, Math software *to
communicate mathematics electronically in some standard way that could
be understood by all, * we just need to agree on a single
typesetting system. There are already a number of typesetting
systems for mathematics (among academics, TeX and EQN were prominent),
Pick one. This was conveyed in a 1987 memo from the Network Working
Group (presumably ARPA funded in some way)
Ufology
Issues in Defining an Equations Representation Standard
by Alan Katz
of USC/ISI. Katz comes up with a recommendation for an EQN
ASCII "directive" system which allows simple inclusion of math-display
objects in email etc.
Actually, I am mischaracterizing Katz: in fact
he argues that semantics would * not be represented because
the person typing the math may not even know what it means.*
This situation may have changed somewhat since 1987, with more scientists
typesetting their own papers!