custom pedal sign

[James Bailey]

Is there any way to have a different pedal sign? Ideally I'd like to have a ½ 
in front of it.
_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-user