Donde la definición de los signos que aparecen es la misma usada en .