Re: Group notes with different fonts

[Lukas-Fabian Moser]

Dear Francesco,

Am 19.06.19 um 05:21 schrieb Francesco Petrogalli:
> Is there a way to print the following bar:
>
> ```
> r2 <a d>4 <g c>
> ```
>
> so that the lower notes are printed in \tiny fonts, and the upper ones
> are printed with \normalfont?

In addition to Aaron's and Robin's explanations: some keystrokes may be 
saved by making use of David Kastrup's wonderful syntax enhancements in 
recent versions:

%%%%
\version "2.19.82"

sm = \tweak font-size -2 \etc

\fixed c' {
  r2
  <a \sm d>4
  <g \sm c>
}
%%%%

So, there's no # needed anymore in \tweak font-size ..., and using \etc 
it has become very easy to define a shorthand.

Best
Lukas