add more notation