Esto, escrito en notación formal: