 In case the action should be made explicit, one also writes .One way of thinking about the symbol is as a combination of the symbol for normal subgroup () and the symbol for the product ().Barry Simon, in his book on group representation theory, employs the unusual notation formula_34 for the semidirect product.