Axiom ax_e2 ≪ | index | src | ≫

axiom ax_e2 {x y: set}: $ \fo x \fo y (x \eq y \imp y \eq x) $;