Comment by jbackus

Nope. If you read the post, you'll see he mentions that it isn't related to uglification. It's a definition of unicode characters