Added logical constants ⇔.