In mathematical logic, it means "equivalent to". Basically, that the logical statement on the left side is logically equivalent (i.e. has the same truth value) as the one on the right side