Double jumps are a minor strategy that can be used to gain more height while jumping. By pressing space twice in quick succession, you can perform the double jump.