use TeX-read-key-val