where S 1 ≅ ≅ U ( 1 ) is the circle, and can be identified with the U ( 1 ) of electromagnetism. The product × × Z 2 is just fancy notation denoting the product S p i n ( p , q ) × × S 1 with opposite points ( s , u ) = ( − − s , − − u ) identified (a double covering).