In article <[EMAIL PROTECTED]>,
<[EMAIL PROTECTED]> wrote:
> In particular, we have proposals to use "^text" and !text! as
> musical annotations, where !foo! seems to be restricted to common
> musical directives, "^foo" is any sort of text above the staff, and
> "_foo" is the same text below the staff.
>
> So I'd think you could write a repeated rest as:
>
> | "^20"z8 | or | !17!z8 |
The first of these is fine if the only thing you're worried about is
getting the dots to look right on paper. However, I would think twice
about giving �"^number"� an official magical meaning like �If it
occurs before a full-bar rest this means ever so many bars of rest�,
since special cases like this tend to complicate the language until
you arrive at something like Perl :^)
There might be a better case for the second suggestion but it still
makes me a bit uneasy.
Anselm
--
Anselm Lingnau ......................... [EMAIL PROTECTED]
I do not fundamentally believe that information wants to be free. Rather, I
believe that information wants to be valuable. -- Larry Wall
To subscribe/unsubscribe, point your browser to: http://www.tullochgorm.com/lists.html
