A double pedal is two pedal tones played at the same time .
A double pedal is two pedal tones played simultaneously .