Additional symbols in header