As we all know, ∀x. ∀y. P x y may be abbreviated ∀x y. P x y. Is there an equivalent for ∀x<n. ∀y<n. P x y?

∀x. ∀y. P x y

∀x y. P x y

∀x<n. ∀y<n. P x y

Last updated: Aug 13 2022 at 06:26 UTC