What is the context? How is the fact that it is square used?

It could mean ` for some '. This `halves' the underlying multiplicative group (the underlying group is cyclic of even order, and so with a bit of work you can see that precisely half of your non-zero elements are squares).