Source:

• formatting.js, line 929

See:

• https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Symbol