[marssaxman]

I don't know whether I encountered it. Perhaps I just forgot. Either way, it hasn't been a notation used in real life.