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$.

For a finite-type surface $S$ of negative Euler characteristic and the surface $S^{\ast }$ obtained by adding a puncture, forgetting that puncture gives