Eu pareço encontrar a resposta e a cura. A parte defeituosa era o meu .vimrc (bem, precisamente falando, eu - por não ser muito completo ..). Eu incluí agora duas linhas no meu .vimrc:
vmap y
imap P
O primeiro me permitiu copiar texto do arquivo PDF ao usar o Okular. Eu poderia escolher o modo "ferramenta de seleção" ou "ferramenta de seleção de texto". Eles funcionam um pouco diferente: "ferramenta de seleção" mostra-me duas pequenas janelas que me oferecem para escolher "seleção de texto" ou "seleção de imagem" (eu escolho "texto") depois de fazer um retângulo sobre o texto escolhido, e então eu pode colar o texto na minha janela "vi". Se eu escolher "seleção de texto", simplesmente mude a cor do meu texto selecionado, e eu posso colá-lo imediatamente na minha janela "vi". Mais surpreendentemente, usando qualquer um deles, eu posso copiar equações iguais i. e. todas as letras gregas são copiadas corretamente no arquivo vi !!! (Eu não sei como eles fazem isso ...)