Die Unicodes siehe http://de.wikipedia.org/wiki/%3D ~= wird zu ≅ /= wird zu ≠ -> wird zu ≥ -< wird zu ≤ -= wird zu ≡ ~~ wird zu ≈ °= wird zu ≗ ^= wird zu ≙ ˇ= wird zu ≚