Collecting my thoughts about notation and user interfaces