¿Qué es la ‘antilambda’ y para qué se usa?

Puede sonar a dispositivo electrónico de última generación, pero en realidad se trata de un signo de puntuación auxiliar que ya usaban los griegos para sus escritos y que ha llegado hasta la actualidad.