More random font questions: Are the relation operators used in SEwPR available anywhere? i don’t know the vernecular well enough to google for them. edit: looks like most of them are unicode!

@jerryj if you’re in DrRacket there are shortcuts for common unicode symbols that come in handy, FYI (https://docs.racket-lang.org/drracket/Keyboard_Shortcuts.html)

@pnwamk oh cool, thanks!! i was copying/pasting them :neutral_face:

As to DrRacket unicode - can someone translate what will this combination be on Windows: C- M- c:x;l ?

explanation in the docs assumes previous knowledge of how it works - it doesn’t make any sense to me though

Control- Alt- Control-x l

@samth thanks but I feel quite thick right now - can you give an example with any macro used - where does it go?

what do you mean?

that’s a notation for keyboard commands

This is how I understand the command: First Ctrl+ then Alt+ then Ctrl+x then l, then latex macro; eg \neg?

I don’t understand how these complex bindings work as I’ve never used them

and the paragraph in the docs make it even harder

In DrRacket, enter the latex stuff first, then invoke the key combination

enter \neg; when the cursor is right after that g, invoke the key combination. Now it becomes ¬

@shu—hung thanks for this clarification - I still can’t get it to work though -> Ctrl+ becomes lambda and the whole line is now: \negλl

For me, λ is the result of ⌘+\, while the effect you want is achieved with ⌃+\. So maybe try ⌘+\? (Or Windows key, or whatever you super key is.)

thanks @leafac no success yet, I have started to wonder if anyone actually have tried this on Windows before…

unless I am doing something incredibly stupid

@githree can you try it with Alt- ?

yes, that’s it!

just plain Alt- with nothing else

I won’t admit how much time I’ve spent on this because it would be too embarassing

but thank you all who tried to help!

I think the docs should reflect it though

I’ll try to test all the keybindings on Windows and see where else are there problems

then update the docs

I think it’s just that entry that has something strange in the docs

nevertheless I’ll test it in some free time