User Portlet User Portlet

Discussions
Consider the following code: MatchQ[Cycles[{{1, 2}}] ** (Cycles[{{1, 2}}]), NonCommutativeMultiply[a___, Cycles[x_], Plus[y__], b___]] There is no plus there, how can this be true? Thanks