Petrol is short for petroleum. Gas is short for gasoline. Petroleum is what comes out of the ground. Gasoline is what goes into the fuel tanks of cars. So there!