That notation looks familiar, but I can't recall what it is off the top of my head. Try asking what it is over at Math Stack Exchange.