![](https://secure.gravatar.com/avatar/d0e94fb08d4620cfbd2f8f59a7868637.jpg?s=120&d=mm&r=g)
26 Jan
2004
26 Jan
'04
6:13 a.m.
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?