#triple bar symbol #equivalent #identical #congruence #logic symbol