Better notation for Time and Frequency