Exact(60)
A particular trajectory is said to be viable, iff it remains within a prescribed region known as its viability domain (Ahmad and Roux 2008).
A property is intrinsic iff it never differs between duplicates.
Finally, a sentence is determinately true iff it is true on all admissible precisifications, determinately false iff it is false on all admissible precisifications.
\(A\) counts as logically valid iff it is valid under all interpretations.
A set of reals is meager iff it is the countable union of nowhere dense sets.
A set of reals is perfect iff it is nonempty, closed and contains no isolated points.
An emerald first examined after t is grue iff it is blue.
(e is simple iff it is not the value of any syntactic operation).
A set of reals is null iff it has measure zero.
A set of (k-tuples of) reals is Δ̰1n iff it is both Σ̰1n and Π̰1n.
It is paraconsistent if and only if (iff) it is not explosive.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com