They're using a webfont with a ligature for !=.
Using ligature fonts for programming became popular a few years ago. As in some people even use them in their editors.
It only breaks sites that are too poorly developed to respect the foundational principles of the web.