double inverted pulse

I know for a project of mine you can make the hardware timers output be out of phase with each other( I used timer 1 and pin 9+10) and they toggle at exactly the same time but into opposite states,
Look up how to use the arduino timers and especialy the wgm bits