Added note that `neg` is an inconsistent operator redef name.