mordent; grace note; ornament — In music, the musical note put around a main note, intended to diversify.