Fix biconditional symbol