pseudokode fortolkning

hej
jeg har denne algoritme

for each i do
    for each j =/= i do
        for each k =/= i =/= j do
            for each l =/= i =/= j =/= k do
                if p(l) is left or on ( p(i),p(j) ) and
                                      ( p(j),p(k) ) and
                                      ( p(k),p(l) )
                then p(i) is nonextreme


men hvad er det forfatteren mener med (eks)
k =/= i =/= j
det der =/= mellem tæller variabler -er der nogen af jer der har set det før?
I 'daglig sprog' er det jo et 'repedition-tegn' == ditto
pfh tak