Re: Fwd: [PATCH] Re: Octavation syntax consistency

[Valentin Villenave]

2008/7/27 Reinhold Kainhofer <address@hidden>:

> What do you think? I'd vote for \octavation, which is also closer to the
> deprecated #(set-octavation ...).

I'd say that \octavation is a bit long to type (though much shorter
than #(set-octavation)). I'd vote for a very very short command such
as \oct (but I somehow guess I'll be alone on this one :-)

Otherwise, \octavation is pretty good.

Cheers,
Valentin