Point-pushing map (source code)

= Point-pushing map
{wiki=Point-pushing_map}

Pushing a distinguished puncture once around a loop $\gamma$ defines a mapping class. For a simple loop, the push is the product of opposite Dehn twists about the two boundary components of a thin annular neighborhood of $\gamma$.