Possibility Operator

In Logic, $◊P$ indicates that the Proposition $P$ is possibly true. $\neg ◊P$ indicates that $P$ is not possibly true, i.e. $\square \neg P$