It's hard to look up the meaning of a symbol if you don't know what it is called in the context that it is written.That apostrophe-type symbol in the sequence notation - what is that?
What does apostrophe-like symbol in the superscript mean?
terminology