Re: [math-fun] Good set-theory symbols