[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Group notes with different fonts

From: Lukas-Fabian Moser
Subject: Re: Group notes with different fonts
Date: Wed, 19 Jun 2019 17:56:43 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0

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' {
  <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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]