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