Symbol for Nand in Logic Programming - Search