Hydrogen fluoride is a chemical compound with the formula HF. This colorless gas is the principal industrial source of fluorine, often in the aqueous form as hydrofluoric acid, and thus is the precursor to many important compounds including pharmaceuticals and polymers (e.g. Teflon). HF is widely used in the petrochemical industry and is a component of many superacids. Hydrogen fluoride boils just below room temperature whereas the other hydrogen halides condense at much lower temperatures. Unlike the other hydrogen halides, HF is lighter than air and diffuses relatively quickly through porous substances.