On Fri, 3 Mar 2023 10:09:27 GMT, Claes Redestad <redes...@openjdk.org> wrote:
> Yes, iff means if-and-only-if and is used for extra precision in formal > logic, mathematics. I've never come across it before. With your explanations, it makes perfect sense. ------------- PR: https://git.openjdk.org/jdk/pull/12826
