Symbols in headers