Defaultnotation's Techniques