Code: Select all
\wedge
\vdash
\turnstile
\neg
\vee
\w
for \wedge
, \t
for \turnstile
etc, or some other key combination to make a hotkey like CTRL+ALT+W for \wedge
, and so on, would work fine. Or anything else that makes it more convenient.
Any Ideas?