Respuesta :

The  sign means that if the function on the left hand side of the notation is true, then so is the function on the right hand side of the notation.