Barra.

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

5. Doble barra vertical (||).

Suele usarse en los casos siguientes:

a) En diccionarios y otras obras de carácter lexicográfico, para separar los distintos significados o acepciones de las palabras o expresiones que se definen.

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