Document `!=`