Re: [math-fun] Set-theory symbols