mailing-list for TeXmacs Users

[Norbert Nemec <address@hidden>]

Hi there,

in mathematics, there is an operator for "variable substitution" (vertical 
bar 
behind expression) in ASCII-Art it would look like:

           |
        a+b|     = a+3
           |b=3

or, extended usage, the bar reading "where":

         x|
        e |      = 1+x
          | x<<1

trying to do that in TeXmacs math mode, the vertical bar often get too short 
for simple expressions with complicated predicates. I tried infix, postfix 
and prefix type bars - no difference.

The problem is similar to one better known from school calculus class:


          _b         _      _ 
         |          |    2   |b
         | x dx   = |   x    |
        _|          |_      _|a
           a

In TeXmacs, such expressions do come out quite ugly, if the inner expression 
is very simple, so the brackets are very small, but the integration 
boundaries are more complex.

At this moment, I cannot quite grasp the real problem. Should it be possible 
to resize brackets by hand? Or should resizeable brackets in general react on 
the extensions of indices behind them?

Any ideas?

Ciao,
Nobbi

-- 
______________________Norbert Nemec <address@hidden>

    Universität Erlangen-Nürnberg, Germany
    Institut für Theoretische Physik III
    Staudtstr. 7  ...  D-91058 Erlangen  ...  Room No. U1.526
    Tel: +49 9131 / 85-28816  ...  Mobile: +49 179 / 7475199