[Next] [Up] [Previous]

Consider a proof that reads:

By theorem 2.1 and lemma 3.5 we get equation 8 and hence the result.If the above looks abstruse in print, it sounds meaningless in audio. This is a serious drawback when listening to mathematical books on cassette, where it is practically impossible to locate the cross-reference. AsTeR is more effective, since these cross-reference links can be traversed, but traversing each link while listening to a complex proof can be distracting.

Typically, we only glance back at cross-references to get
sufficient information to recognize theorem 2.1. AsTeR provides
a convenient mechanism for building in such information into
the renderings. When rendering a cross-referenceable object
such as an equation, AsTeR verbalizes an automatically
generated label (*e.g.,* the equation number) and then
generates an audible prompt. By pressing a key at this prompt,
a more meaningful label can be specified, which will be used in
preference to the system-generated label when rendering
cross-references.

To continue the current example, when listening to theorem 2.1, suppose the user specifies the label ``Fermat's theorem''. Then the proof shown earlier would be spoken as:

By Fermat's theorem and lemma 3.5 we get equation 8 and hence the result.Of course, the user could have specified labels for the other cross-referenced objects as well, in which case the rendering produced almost obviates the need to look back at the cross-references.

TV Raman

Thu Mar 9 20:10:41 EST 1995