[see also: denote, write, notation
Here A, B and C all belong to the same class, which we represent by the symbol P2.
We shall use the symbol ∩ to represent intersection.
We call F and G equivalent (in symbols F≡ G) if......