If And Only If Symbol Discrete Math