>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> As I said: The current behaviour was implemented explicitly as
Andre> response to a very detailed user-request.
Andre> I don't like it particularily, but I don't like the \# <-> #,
Andre> \{ <-> { business either.
What would you do about it? I think it is confusing that it depends on
some setting that the user may not be aware of. I was thinking of
removing it, but we should provide a simple way to produce a align.
JMarc
