mailing-list for TeXmacs Users

[vincent douce <address@hidden>]

i had resigned my self for that question but now that you ask for it, i 
plussoie you
Vincent

> Le 9 nov. 2021 à 13:29, Giovanni Piredda <address@hidden> a écrit :
> 
> 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
>