>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> On Thu, Dec 13, 2001 at 11:11:02AM +0100, Jean-Marc Lasgouttes Andre> wrote: >> This was just an example. What about having a blackboard math >> toggle in the menu? Andre> Ok, so be it... Can you provide the necessary infrastructure? And for greek too, I guess. Andre> Although I'd rather have the "most common symbols" diretly in Andre> the menu... I doubt that the menu will remain as useful if we begin to add random things in it. Why blackboard symbols and not your favourite greek letters?