mailing-list for TeXmacs Users

[vincent douce <address@hidden>]

i would have liked to help but didn't find it

on https://latex-programming.fandom.com/wiki/List_of_LaTeX_symbols

i find only your character turned 90°…

\vDash

and it does not work in TeXmacs

Vincent

Le 11 juin 2022 à 09:30, Pierre-Henri Jondot <address@hidden> a écrit :

Hi,

Starting next year, our mathematics course introduces a new symbol for independant variables. The independance of X and Y is symbolized with :

<Capture d’écran 2022-06-11 à 09.24.01.png>

I couldn't find this symbol witList of LaTeX symbols | LaTeX Wiki | Fandomhin texmacs. What is the best way to obtain it ? Using the <move|content> and two perpendicular (\perp) symbols I could obtain somewhat what I need, but hardcoding the horizontal deplacement (-2mm for a 10pt document looks ok) depends on the size of the font, so it is really not ideal...

Any pointer to the right direction is welcome !

Regards,

Pierre-Henri

- - - - - -
LeMathoscope : cours de maths par zoom  et poésie des mathématiques :

https://lemathoscope.com/newsletter-inscription/