Electronic publishing offers the options of far greater searching capability than is available even with services like MathSciNet. However, text-based searching, while still a great improvement, is not the whole answer. How do we search the formulae? OpenMath offers at least the possibility of representing the semantics of the mathematics, rather than just the layout of the mathematics on the page. This poses two questions:

(1) How practicable is this?

(2) Most submissions, in practice, are in TeX dialects, rather than in XML/MathML/OpenMath: what do we do about this? I will report on some preliminary experiments conducted with the LMS Journal of Computation and Mathematics.