>> Well, both `#+3` and `#-3` work, so it might be tempting to assume
>> that `+3` and `-3` also work (outside of `\markup`).
>
> So does ##e+3.0 and so does #3/1 so should we be supporting those as
> well?
The former? Rather not. The latter, maybe. I can imagine that
people would like to say
```
\magnifyStaff 2/3
```
However, given that this representation no longer looks like a 'normal
number' for most people, I think it is fully sufficient to use the
already working
```
\magnifyStaff #2/3
```
instead.
Werner
