Equivalent mathematical notation

Equivalent is a recurring research-paper notation family. Marks an identity, equivalence relation, or congruence whose precise strength is set by context.

Equivalent: Marks an identity, equivalence relation, or congruence whose precise strength is set by context. Example: The equality holds for every permitted x.