> On Oct 13, 2025, at 11:39, David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
>
>
> “iif” is shorthand for “if and only if”. So it isn’t likely to be a typo; it only needs to be changed if it is wrong. I haven’t looked to see.
>
Thanks for the explanation, I wasn’t aware of that. I learned.
Best regards,
--
Chao Li (Evan)
HighGo Software Co., Ltd.
https://www.highgo.com/