Más formalmente, y en la simbología usual,