1 %% Do not edit this file; it is auto-generated from LSR http://lsr.dsi.unimi.it
2 %% This file is in the public domain.
6 lsrtags = "editorial-and-educational-use, spacing"
8 In the following examples, some notes are hidden: although they are
9 made transparent, they still take vertical and horizontal space.