-In this example, the @code{\withpaddingA}, @code{\withpaddingB} and
-@code{\withpaddingC} music functions set different kinds of padding on
+In this example, the @code{\\withpaddingA}, @code{\\withpaddingB} and
+@code{\\withpaddingC} music functions set different kinds of padding on