GA
2
×HAL
Also:
ĝahalla
x
(|GA
2
×HAL|).
)