"1"^^ . . . . . . . "binary multiply"@en . .