(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 type Ctrl + Win + V in 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!