Artin symbol.