mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Dear all,

the symbol "parallel to" (entered for example by typing \parallel) is a 
double vertical line. I like a double slash, is there a symbol for that 
(with the same spacing as the "parallel to" symbol)?

Giovanni