Does anyone know of a keyboard syntax standard for logical algreba? I'm reading "An Introduction to Logic" and it uses a bunch of symbols for its notation that don't exist on a keyboard (or would be annoying to type).
I can't imagine this is a new problem and am wondering if there is already a convention for keyboard shorthand for logic.
'setxkbmap -model pc104 -layout us -option compose:lwin'
If you use BASH, you can set it in your .bashrc file by adding 'export' to the front of that.
This is how I use international characters such as å, ø, æ, è, ñ, etc.
For reference, the above command will set your keyboard map to a US layout with a standard 104 keys and sets your compose key to the left 'windows key'. If you'd rather use the right windows key, change 'lwin' to 'rwin'. Hope that helps.
That is a partial fix, I was hoping to stick to the old ascii-128 set of characters so I could use it on multiple platforms (chat rooms, bug reports, old non-unicode systems). I also want to be able to just pick up any computer I'm standing at and start typing (Playbook, Mac, Windows, Linux, etc...). Unfortunately, I'm working at a Mac shop and am scared to remap a key (there are so few as it is).