The English term "symbol" matches the German term "Symbol"