Changed operator redefinition names. Fixed formatting errors.