#mathematical set #set notation #arrow symbols #symbol collection #formal set #unicode arrows #logic symbols