Category:Symbols introduced in the 1980s