Our system of rendering
rules will be described in detail in c:rules_and_styles. Such
rules are written in AFL, our language for audio formatting,
described in c:afl. Here, we show a small example of such a
rendering rule for a user-defined macro. In the following, we
use CLOS generic function read-aloud,
described in c:rules_and_styles. For the present, let us assume
that function read-aloud executes the necessary
actions to render its argument. After executing the appropriate
call to define-text-object for the La)TeX macro
\inference, which is defined as
[LVerbatim743]
to render instances of calls to \inference, we
can define
If we wished to produce a rendering that inverts the order
in which the arguments to macro \inference are
rendered, we would define:
A flexible method for switching among different rendering rules to obtain different ``audio views'' of the same object is described in s:rules_and_styles.