Is there an official term for the double hyphen operator, -- ?

Double hyphen doesn't really sound informative. Double negation is not the
answer because -- does not make negative numbers positive.

So???

Dave
--
A hint to posters: Specific, detailed questions are more likely to be
answered than questions that provide no detail about your problem.