Le 11 juin 2022 à 12:40, Julien Frontisi <address@hidden> a écrit :

Hi, 

from wikipedia, the « double tack up » symbol is unicode U+2AEB.

A previous discussion explained how to insert unicode symbols in TeXmacs.

I quote Joris :

---

Well, it is available in all look-and-feels,
but the precise shortcut might be A-q (Alt-q) or M-q (Meta-q) instead

With macOS, it works with Esc Esc q #2AEB return

but it is not recognized as (therefore lacks the usual spacing around) a binary operator.

With a macro including the spaces, it should look OK, though. (There is probably a better solution for semantics...)

Julien

Le 11 juin 2022 à 12:20, vincent douce <address@hidden> a écrit :

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/