mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Tue, Aug 19, 2003 at 10:10:06AM +0200, Norbert Nemec wrote:
> The simple trick mentioned before was: insert a large space (to be found in 
> the "large symbol menu" - sum, product, etc. and then use the "closing 
> vertical bar"
> 
> The former thread about this was 'Operator for "variable substitution"', 
> Jul. 
> 11, 2003

I have found this, thanks.

By the way, I think the correct name is not "large space" but
"invisible large operator" because it is not supposed to insert any
visible space, just modify the rendering of delimiters and so on.

Indeed... it seems the invisible large operator does it. I remember
for some reason I deemed this solution unsatisfactory, but I really
cannot remember why.

-- 
                                                            -- ddaa