use normalized notation