list_email Sun, 27 Jan 2019 16:11:18 -0800
Am I correct in thinking that the Times Roman font has no bold lower case Greek characters?
Jerry