I learned something today. Apparently there are no longer enough mathematical symbols. Their like oil. Apparently this is the era of "Peak Math Notation." So someone created new ones.
According to Wired:
For 70 years, mathematicians have been stuck on the Halting Problem: Computers occasionally hang on one line of code and fail to move on to the next, and no one can reliably predict when that will happen. (The result is the unending hourglass or pinwheel of death.) But a few years ago, Microsoft researcher Byron Cook and his colleagues did the unthinkable — they hacked a fix. When Cook tried to describe the workaround, however, he found it impossible to explain with existing mathematical symbols.
His only option, he decided, was to invent new ones.
I think I understand the problem they are addressing. It's something hyperthreading, multi-tasking, predictive branch execution, and dual core CPUs (among other technologies) tried to solve through brute force multi-tasking.
But then they start talking about the math. And I have no idea what their talking about. But it sure sounds cool.