User blog comment:Nayuta Ito/faketest/e0/@comment-31966679-20180809132507/@comment-35470197-20180809133550

> What does ψ mean?

UNOCF

> What does Ω mean?

uncountable cardinal number

> What does M mean?

weakly Mahlo cardinal

> What does : mean?

One of the symbols used in UNOCF in order to separate variables.

> What does ; mean?

One of the symbols used in UNOCF in order to separate variables.

> What does K mean?

weakly compact cardinal

> What does I mean?

weakly inaccessible cardinal