mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Wed, Nov 16, 2005 at 12:20:33PM -0500, Andreas Klöckner wrote:
> Speaking of norms, I have required a three-stroke norm on several 
> occasions, 
> but the hack consisting of
> 
>   \left | \left || *** \right || \right |
> 
> has a tendency to look hideous, because the single-pipes come out smaller 
> and 
> not spaced evenly. How would I build such a symbol?

No big delimiter exists for the triple stroke in the standard TeX fonts.
One might try to create a macro which does the right thing, by carefully
putting spaces between the bars (you might have to take negative values).

Best wishes, Joris