I'm using Comic Mono in my terminal and Iosevka in my editor but your comment reminded me that I can pick and choose individual characters — look at all the drop-down boxes on section 02 of https://typeof.net/Iosevka/customizer — so I shall do that. Thank you!