Using the focus bar is correct. You can use the keyboard as well: Alt-Tab (MacOS) will circulate through all "structured variants" of the tag where the cursor is located, no need to select anything. Add Shift to cycle back.

This works in many contexts (e.g. different enumerations, equations<->formulas, Big and small figures, and mostly any tag which belongs in some category.

It's the same as TAB, just try it everywhere! Especially in mathematics. (well sort of: the keyboard variants, e.g. "a tab" for alpha, must be typed in sequence, whereas one may always cycle through all structured variants anytime)

Best,