Symbolize and Notation