unable to switch TTY in arch linux
This is based on the OP's comment that should be an answer.
To switch TTYs I was using Right Alt which on my Thinkpad corresponds to TTY13-24 (which aren't configured). Simply by using Left Alt everything works as expected.