Issue #1 -- Typeset formula only if not already done, otherwise just change formula content