Live tex-updating.