User blog comment:P進大好きbot/New Large Number beyond MK set theory/@comment-30846880-20181029173115/@comment-35470197-20181029211453

Right. IsEnt = is entry.

PFml meant a formula with a simple application of the predicate \(\in\), but I think that it is better to use AFml in order to express an atomic formula. So I will change the convention.