If you read a lot of analytical philosophy & meta-mathematics literature you'll notice it's not unique at all. That's how I learned the short-hand conventions.