Change notation for internal data structures