text.eqn

roman "(Łukasiewicz, Gödel, and Gödel)" "…–“double quotes”—‘single quotes’"