[math-fun] Set-theory symbols