Updated typeset of time derivative