(using Ubuntu 12.04)
currently I'm dealing a lot with logic (not for computer science, though), so my idea was to create specific shortcuts on my keyboard for easy typing.
my idea is to use Ctrl + Super and then a specific key.
e.g.
when I typeCtrl + Win + Vin a text editor or chat-program, or whatever, I want it to type the logical operator for "or": ∨
Ctrl + Win + ^ I want it to become the logical operator "and": ∧
Ctrl + Win + 0 I want it to become ≠
Ctrl + Win + E I want it to become ∃
Ctrl + Win + M I want it to become the modal operator for "possible": ◊
and so on, and so on. You get the idea.
Instructions would be much appreciated!
1 Answer
The closest I have come to this so far is to use (on lubuntu 14.04.1) <ctrl><shift>U then type the code say 00ac for ¬ which I found by using the character map.
This is pretty quick way of doing it, if you know the code and remember each one. If I find another way I will update.