Oh, I didn't even notice that. I encounter that notation frequently enough, but it wasn't the one I was taught in high school. Kind of hard to do a web search f

Oh, I didn't even notice that. I encounter that notation frequently enough, but it wasn't the one I was taught in high school. Kind of hard to do a web search for its origins. I tried and failed.