On Tue, Oct 30, 2001 at 01:23:31PM +0100, Jean-Marc Lasgouttes wrote:
The remaining problem is that \| is translated to \parallel, instead
of \Vert (the former is a relation symbol, while the later is a plain
old symbol).
Should be fixed now.
Andre'
--
André Pönitz
On Tue, Oct 30, 2001 at 01:23:31PM +0100, Jean-Marc Lasgouttes wrote:
> The remaining problem is that \| is translated to \parallel, instead
> of \Vert (the former is a relation symbol, while the later is a plain
> old symbol).
Should be fixed now.
Andre'
--
André Pönitz
