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.