ブルーバックスの『集合とはなにか』を読んでいて
意味のわからない数式が出てきました。

http://gazo.shitao.info/r/i/20150614150334_000.jpg

中程の、２の右上に点が斜めに２つついているのは何でしょうか？
また、大カッコの左側だけ使われているのはどういう意味でしょうか？

よろしくお願いします。