⇒⇐

Symbol

 * 1) contradiction