In the following sense, ‘aat’ is to ‘at’ as ‘iff’ is to ‘if’:
aat = at and only at.
Aat is a unique placeholder. If ‘s1’ is a member of the set of places S {s1, s2, s3…}, then if O is aat s1, it is at s1 and it is not at s2, s3, s4, etc.
I originally thought of this as a way of spelling out the difference between presentism and eternalism:
presentism: reality is aat the present time.
eternalism: reality is at the present time but not aat the present time; it is also at other times.
(This is one term I think is probably somewhere in the literature, but I haven’t yet found it. Anyhow, I define it here).