半直积符号