Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to type double angle quotation marks in Windows/Linux? #324

Open
Syntacticlosure opened this issue Jun 16, 2023 · 3 comments
Open

How to type double angle quotation marks in Windows/Linux? #324

Syntacticlosure opened this issue Jun 16, 2023 · 3 comments

Comments

@Syntacticlosure
Copy link
Contributor

I can't easily type double-angle quotation marks in Win/Linux. I tried \ll and \gg in Drracket, but they are different symbols. M-0171 and M-0187 work in Windows but don't work in Drracket.

A convenient way to type « and » in Win/Linux should exist.

@rfindler
Copy link
Member

Does Alt Gr+[ and Alt Gr+] work?

@samth
Copy link
Sponsor Member

samth commented Jun 16, 2023

I have mostly used copy and paste on Linux, but on my en-us keyboard layout I don't think AltGr exists.

@AlexKnauth
Copy link
Member

When I was testing things for helping on How to Type «…»:

The most convenient way I found on Windows was Alt while numpad 174 for «, or Alt while numpad 175 for ». The 3-digit 174 and 175 seem easier to remember, especially because the numbers are right next to each other, compared to 0171 and 0187 being different in 2 of their digits.

The most convenient way I found on Linux was using the Compose key. I had to go into the keyboard settings to set the Compose key to something (I happened to pick Right-Alt). But then I could just type Compose << for «, or Compose >> for ».

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants