Elke haakvector kan in een binaire vorm genoteerd worden waarin de binaire componenten door de restklassen -1/ en +1/ gecodeerd worden. Dit is gemotiveerd door de unieke string die bij de modulo3 som bekomen wordt.
Voorbeeld: het punt <>⊕a⊕b⊕a•b
<> |
a |
b |
a•b |
<>⊕a⊕b⊕a•b |
-1/ |
-1/ |
-1/ |
+1/ |
+1/ |
-1/ |
+1/ |
-1/ |
-1/ |
+1/ |
-1/ |
-1/ |
+1/ |
-1/ |
+1/ |
-1/ |
+1/ |
+1/ |
+1/ |
-1/ |
Dit punt stellen we binair voor als de restklassenstring (-1/ +1/ +1/ +1/) in de modulo 3 som, of gemakkelijker leesbaar in zijn overeenkomstige signatuurvorm (- + + +). We herkennen de perfecte overeenstemming met het AND-atoom 0111 of <ab>.
Maar daarenboven komt er nog een variant ter beschikking doordat de vectoren een nulcomponent 0/ kunnen hebben. Die nulcomponent ontstaat uit een modulo3 som en is daarom een echte getalnul.