ls-a

This expression describes the condition for the convergence of a sequence an to a value L:
∃ L s.t. ∀ ε > 0 ∃ N s.t. ∀ n > N: (L - an) < ε