Make .XCompose work, setup better keyboard for unicode work in theorem provering in ViM.