Add some notations from Edward Kmett