The Greek name with the diacriticals would be Θαΐς. To get them you need to copy and paste the Greek name on this encoding/decoding tool -it's the one I use to post songs in different alphabets on Mudcat and it's worked pretty well so far.