Chronological Thread 

< Chronological >      < Thread >

---

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

---

• Operator for "variable substitution", Norbert Nemec, 07/11/2003
  • Re: Operator for "variable substitution", michael graffam, 07/12/2003

---

Archive powered by MHonArc 2.6.19.