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