Make equivalence symbol same for pretty printer and latex printer
and change not equivalent symbol to u+2262 [skip ci]