Tetrakulus

The tetrakulus is equal to \(4\&4\&4\) or \(\{ 4,4 /2 \}\)