mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sun, Feb 03, 2008 at 10:31:53AM +0100, Sergio Polini wrote:
> Search and replace commands work in a straightforward way when I'm 
> searching and replacing normal text.
> But I'ld like to search "math bar v" in my formulas and replace it 
> with "math V".
> How could I do?

The solution is not extremely handy, but works fine:

        Help -> Manual -> Editing tools
        Section 2

By the way:

        F1 search replace RETURN

Best wishes, Joris