sS unicode_crossProduct() {
  ret unicodeFromCodePoint(0x2A2F);
}