Re: because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how

On 5/6/2024 3:36 PM, Ross Finlayson wrote:

On 05/05/2024 03:02 PM, Jim Burns wrote:

For my wish,
I would like everyone to be clear on what
standard.issue quantifiers and variables
mean.
>
I think that,
way off in that glorious future,
both you and I will be able to be
satisfactorily understood.
>
And what more could there be
to wish for?

>
Well, one might aver that extra-ordinary
universal quantifiers are merely syntactic sugar,
yet there's that in the low- and high- orders,
or the first and final, that what they would
reflect of the _effects_ of quantification,
something like
>
for-any A?
for-each A+
for-every A*
for-all A$
>
that it is so that the sputniks or extras
of the quantification in the extra-ordinary,
have that a quantifier disambiguation:
is in the syntax.
>
Then for the rest of it,

Before you move on,
could you explain what your notation means?
Thanks in advance.