Hi, Am Mittwoch, den 11.02.2015, 21:15 -0800 schrieb Nikolaus Rath: > > How dare you write ... instead of the proper … :-P > > I'm curious, how do you type that in conviently? I hope it's not copying > and pasting from a template file, and remembering (and/or finding out) > the X11 Compose sequence seems cumbersome too. I have mapped some “important” Unicode characters on my keyboard, via ~/.Xmodmap, hiding behind AltGr-something. This includes: Proper quotes, apostrophes, dashes etc: „“ “” ‚‘ ‘’ ’ –² … Arrows: ←↓→↑⇐⇒ Greek letters: αβγδεπ ∀∑ΓΔ∏ Mathematical symbols: ∈≠∞·÷∕−ø∀∃∧∨ Misc: ✓ For something, I use compose sequences, mostly ₁ and ¹ etc. For everything else, I have a Xmonad prompt where I can search in the whole of the unicode spec for character names. So if I type Caps¹-U SNOWMAN <TAB> <Enter> I have ☃ in my clipboard. All this is very useful when working with programming languages like Agda or Isabelle, where heavy use of unicode is made. This is where this becomes on topic for the bug report again: Entering Unicode characters this way into Isabelle/jEdit works fine in all cases but for “·”. The symbol gets inserted, but the system does not understand it as the usual dot that one enters with the “\<cdot>” sequence. Only due to Christoph’s bug report I learned about the difference between the two. And indeed, if I enter his proposed “⋅”, it works! Having had the proper dot on AltGr-. would have saved me many key strokes over the last three years Christoph: You may cite me on that one in the upstream bug report. The fact that Isabelle/jEdit uses the DOT OPERATOR is one data point in favor of your proposal. And I’ll change my mapping right now :–) Greetings, Joachim ¹ Caps is my window manager control key. ² I often use the dash in smilies, i.e. :–) instead of :-), both becaues I have a long nose, but also because it prevents clients from replacing it with pictures that I don’t like. -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part