Comment by davidsgk

One might say it's also pretty petty to call out a casual usage of a notation being used in a way that people in the thread are understanding just fine...