Notation. A symbol commonly used for congruence is an equals symbol with a tilde above it, ≅, corresponding to the Unicode character 'approximately equal to' (U+2245).