En algorithmique, le symbole utilisé pour 'différent de' est généralement une combinaison des signes inférieur et supérieur : .