Can we please end this thread? There is already a RFC with the official notation for this, and it has been mentioned at least twice here as well. Wichert