Tagged iso-tex-diagnostics