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