-@c -*-texinfo-*-
+@c -*- coding: latin-1; mode: texinfo; -*-
@node Changing defaults
@chapter Changing defaults
@verbatim
\header {
title = "Grazing cow"
- instrument = "Baßtuba"
+ instrument = "Baßtuba"
}
@end verbatim
Rather, you should say
@verbatim
- instrument = \markup { Baßtuba }
+ instrument = \markup { Baßtuba }
@end verbatim
@noindent