mailing-list for TeXmacs Users

[Frank <address@hidden>]

Dear all,

I wonder how to input the symbol for restriction of function? Now I input, 
say,

(math (concat "q|" (rsub "C") "=y"))

which will generate, in my opinion, an incorrect spacing (see the space before and 
after "="). I also suspect that this is semantically incorrect.

Best wishes,
Frank