mailing-list for TeXmacs Users

[Pierre-Henri Jondot <address@hidden>]

Thanks for the answers so far.

For the time being, I'll stick with two stacked perpendicular symbols, using a move directive of -0.6em for the second one. (I thought I had tried such a length and that it didn't work, but it sure does...)

;.

Probably not ideal from a semantic point of view, but it looks ok indeed. (Although it demands for a little space added to the right, so it is a bit cumbersome... Hopefully, I won't use that symbol that much !)

Pierre-Henri

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/