Se trata de un signo de los llamados dobles, ya que existe uno de apertura (codice_22) y otro de cierre (codice_23), aunque en su aplicación principal se suela usar únicamente uno de ellos.