An alternative approach
As I noted in a comment, a solution to my use case occurred to me (though it is not strictly speaking an answer to the question as I posed it), namely to make normal mode mappings like nmap ξ j which allow me to switch to normal mode and then keep typing with the Greek keyboard layout but have it behave as if I were typing the same keystroke with the English layout.
In case it is useful for others, here are the mappings I've come up with so far (others will probably occur to me as I work):
imap ξκ jk
nmap ι i
nmap Ι I
nmap α a
nmap Α A
nmap ξ j
nmap κ k
nmap λ l
nmap η h
nmap β b
nmap Β B
nmap ς w
nmap Σ W
nmap ε e
nmap γε ge
nmap σ s
nmap Σ S
nmap φ f
nmap Φ F
nmap τ t
nmap Τ T
nmap υ y
nmap υυ yy
nmap μ m
nmap Μ M
nmap μμ mm
nmap χ x
nmap δ d
nmap δδ dd
nmap Δ D
nmap π p
Corollary question
A corollary question then would be (perhaps I should pose this as a separate question?): is there some way to automate this, i.e., to tell vim to convert all Greek Unicode inputs to Latin characters except in insert mode? The idea would be to feed vim the two keyboard layouts and have it do the converting.
bandb*every system will have to wait (of course the perfect solution would be to inputβwithband transform intoBwhen*comes) – Vivian De Smedt May 09 '23 at 11:53*? Thus to write μηνιν one would typem*h*n*i*n*, right? (There would also be mappings for accents, e.g.,inoremap a)* ἀ.) In any case, what I intended my question to ask about is something that would be like yanking a chunk of beta code, pasting it into this web tool, copying the unicode from there, and replacing the original beta code with that copied unicode -- except I want to be able to do that without leaving vim or using that web tool. – Alex Roberts May 09 '23 at 13:10nmap ξ jwhich allow me to switch to normal mode and then keep typing with the Greek keyboard layout but have it behave as if I were typing the same keystroke with the English layout. I'll have to make quite a few mappings, focusing only on the most common ones I use while editing Greek text. – Alex Roberts May 09 '23 at 13:30