Какой из этих символов читается как «тогда и только тогда, когда»?