#identically equal #congruence #math symbol #three lines #logic #equation