AssumeNormal is an option used in various functions, to assume that a ring is normal.
The object AssumeNormal is a symbol.