× is the cartesian product and = {x, {x,y}} is the ordered pair of x and y. (i.e., if x is in X and y is in Y, then is the corresponding element of the cartesian product X × Y). hope this helps
This looks like classical ordinal set theory in relatively modern notation. I’d guess that Principia Mathematica uses batshit notation compared to this but I haven’t read it.