Barra.

Signo ortográfico auxiliar, del que existen diversos tipos:

5. Doble barra vertical (||).

Suele usarse en los casos siguientes:

c) En obras lingüísticas, para marcar la existencia de una pausa mayor dentro de un texto: Pedro se levantó temprano. || Antes de salir, | se dio una ducha rápida.

DPD 1.ª edición, 2.ª tirada