What does the symbols package do? Perhaps we can just omit it?
What does the symbols package do? Perhaps we can just omit it?