Input (grade 10): Types A double pedal is two pedal tones played simultaneously.
Output (grade 4): A double pedal is two pedal tones played at the same time.