[EText TextNormal "(\321ukasiewicz, G\246del, and G\246del)",EText TextItalic "\8230\8211\8220double quotes\8221\8212\8216single quotes\8217"]