It *really* should be `\Pi`, though.