\(x\inℕ\)

">