Remove extraneous export of undefined symbols ⊂ and ⊄
Merge pull request #7346 from astrieanna/symbols

Remove extraneous export of undefined symbols ⊂ and ⊄