O en la notación del cálculo de secuentes: