A stable letter is the new generator of an HNN extension which implements an isomorphism between two specified subgroups by conjugation. In the convention , it moves elements of the source subgroup to the target subgroup ; using reverses the naming convention.
New to topics? Read the docs here!