This notation is already taken in the computer science world and is used in robotics planning algorithms. https://www.cs.cmu.edu/~motionplanning/lecture/Chap2-Bug-Alg...