If p is an oddprime, and a∈Z, we define the Legendre Symbol, written as (pa) by (pa)=⎩⎨⎧01−1if p∣aif a is a quadratic residueif a is a non-residue There should be no confusion with fractions here. The symbol represents a over p.
Remark
Note this equivalence a is a quadratic residue⟺x2≡a(modp) is solvable