[math-fun] Good set-theory symbols