(accessoirement, un ≠ sera souligné en rouge, contrairement à la ligature)