-->操作符

stackoverflow上的一道题，聪明的你知道-->是什么运算符吗？

提问的人说他看了"Hidden Features and Dark Corners of C++/STL" on comp.lang.c++.moderated，居然发现了这个运算符，结果在Visual Studio 2008 and G++ 4.4.还都编过了。。

#include <stdio.h>
int main()
{
     int x = 10;
     while( x --> 0 ) // x goes to 0
     {
       printf("%d ", x);
     }
}

这个在c++标准中哪里定义了？哪里来的。。？