A cold front is defined as the leading edge of a cooler mass of air, replacing (at ground level) a warmer mass of air, which lies within a fairly sharp surface trough of low pressure. It forms in the wake of an extratropical cyclone, at the leading edge of its cold air advection pattern, which is also known as the cyclone's dry conveyor belt circulation. Temperature changes across the boundary can be as much as 30 °C (54 °F). When enough moisture is present, rain can occur along the boundary. If there is significant instability along the boundary, a narrow line of thunderstorms can form along the frontal zone. If instability is less, a broad shield of rain can move in behind the front, which increases the temperature difference across the boundary. They are stronger in the fall and spring transition seasons, and weakest during the summer. When they catch up with the preceding warm front, the portion of the boundary which does so is then known as an occluded front.
The cooler and denser air wedges under the less-dense warmer air, lifting it. This upward motion causes lowered pressure along the cold front and can cause the formation of a narrow line of showers and thunderstorms when enough moisture is present. On weather maps, the surface position of the cold front is marked with the symbol of a blue line of triangles/spikes (pips) pointing in the direction of travel. A cold front's location is at the leading edge of the temperature drop off, which in an isotherm analysis would show up as the leading edge of the isotherm gradient, and it normally lies within a sharp surface trough. Cold fronts move faster than warm fronts and can produce sharper changes in weather. Since cold air is denser than warm air, it rapidly replaces the warm air preceding the boundary.