Большой англо-русский и русско-английский словарь
начальный символ;
помеченный символ;
аксиома (в формальной системе или грамматике)
distinguished symbol в энциклопедиях
начальный символ;
помеченный символ;
аксиома (в формальной системе или грамматике)