RFR: 8303480: Miscellaneous fixes to mostly invisible doc comments

Alexey Ivanov aivanov at openjdk.org
Fri Mar 3 11:34:16 UTC 2023


On Fri, 3 Mar 2023 10:09:27 GMT, Claes Redestad <redestad at 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


More information about the ide-support-dev mailing list