[python] proper name for python * operator?