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?

_______________________________________________
ntg-context mailing list
[EMAIL PROTECTED]
http://www.ntg.nl/mailman/listinfo/ntg-context

Reply via email to