Category:Symbols introduced in 1842