Re: [Texmacs-dev] {under,over}brace work

[Nix N. Nix]

On Wed, 2003-04-16 at 03:44, Joris van der Hoeven wrote:
> This certainly does have an effect. In math-mode you will
> be able to get them using C-q.

I'm afraid not. All I got was an ugly, red <braceld> when I typed C-q,
braceld, <enter> in math mode. My rubber-cmex.enc file has the following
appended to it:

122 "braceld" "bracerd" "bracelu" "braceru"

Also, this does not solve the problem of the txexa font wherefrom I need
the brace extension character.  An overbrace consists of the followings:
                                braceru   bracelu          bracerd
                                       v v                        v
  braceld -> .- ----<-txexa #32->---- -' '- ----<-txexa #32->---- -.

So, basically, I also need txexa.  Here's what I've tried so far:

File txexa.enc:

32 "bracext"

file math.enc:
...
[txexa]
...

All this got me when I typed bracext was a really weird symbol, and it
didn't say 

"Please wait, generating txexa<some-number>.<some-extension>"

Also, since the symbol looked like a <nsucccurlyeq> rotated Pi/2, I
tried to click on the menu with the <prec> symbol to try to identify it,
but at that point, TeXmacs crashed with

Fatal error: Font not found in 'math_font_rep::search_font'

Creating a file called cmex.enc with the line

122 ...

did work, but produced the wrong symbols.

Conclusion:  This is not working.

> 
> However, making wide under/overbraces work will require
> one or two days of work. The best thing to do is to take
> a look at how large delimiters are dealt with in the C++ code.
> Be careful though that there is no automatic TeX-font information
> about wide composite symbols (as there is for the large delimiters).
> You should also pay attention to the tricks to get
> the anti-aliasing right.

Actually, I was thinking about using virtual fonts and Scheme functions
such as (glue ...).  I was thinking about making it just another
character, to be used with (make-wide ...) and (make-wide-under ...).

However, if I can't get to the point where I can see these symbols, I
cannot proceed further on any path :o(