If And Only Symbolic Form