On Wed, Aug 22, 2001 at 08:58:37PM +0200, Andre Poenitz wrote:
> > I didn't have one handy when I wrote the first mail.
> >
> > I have now located it:
> >
> > http://www.mail-archive.com/lyx-devel%40lists.lyx.org/msg21960.html
>
> We are doing something resembling this "macro interpretatioN" on a
> coarser level with the "predefined" macros in math_mactotable.C.
>
> I certainly admit that it would be nice to have this automated.
And, potentially, you could actually properly display (simple) macros
that the user himself might have defined in the LaTeX preamble window,
directly, or by \usepackage'ing something which LyX doesn't know
about.
The main point about the above method is it tells you that the
charecter for entails (the |- turn-stile) is located at character ` in
the mathsy font. Since we now have postscript access to the math
font, we could then display it straight away.
Jules
