{H times G} to \[u23DE] {H times G} from \[u23DF]