@unascribed wait, what font is that that has a ligature (I'm presuming) for "!="?