{H times G} to \[u23de] {H times G} from \[u23df]