Pushing a distinguished puncture once around a loop 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 .
New to topics? Read the docs here!