En otra notación,