This alg uses caret NISS notation, a convention for Fewest Moves.
This alg uses commutator or conjugate notation to show structure.
This alg uses Square-1 notation.