replaced congruence symbol with equal sign because pdf generation failed