I really don't need to do that. The Japanese version is rather iffy for typesetting in Roman letters. But if I could search for rubi in EITHER of them, I'd be happy. There is no way to do it in Japanese either, as least as far as I have been able to figure out.
↧