Less notation hackery