En nuestra notación, sería: