A 'double jump' is a jumping move used predominantly in platform games, where the character can jump, and while in mid-air, jump again to gain extra height.
