在javascript中[[]]表示法的含义是什么？

Question

来自mozilla documentation

var o = new Object();
o.[[Prototype]] = Foo.prototype;
Foo.call(o);

究竟是什么[[Prototype]]？我试图在文档本身中找到一个规范，但它只是向你抛出。