補集合の記号（バー）って2ちゃんではどう書けばいいんだろ……。