Proper Notation Definition