This is the proposal, but it's very non-standard (the referenced wikipedia article has no such notation).