CS 240: made k a subscript in order notation properties (fixes #23).