⇐

Symbol

 * 1) converse implication