La diferencia entre // es la misma que entre lo que otros autores reconstruyen como //.