Polytope notation systems