That's right, I think \| would be the most natural way, the same being true for \{ and \} (which I happen to need from time to time). Any chance of seeing this soon?