diff --git a/init.el b/init.el
index 61e57f3..2698758 100644
--- a/init.el
+++ b/init.el
@@ -1087,7 +1087,7 @@
                     (org-agenda-sorting-strategy '(deadline-up priority-down))
                     (org-deadline-warning-days 30)))
                   (tags-todo "TODO={CONT\\|ATTN}"
-                             ((org-agenda-overriding-header "WIP List (TODO={CONT\\\\|ATTN}, not scheduled in the future)")
+                             ((org-agenda-overriding-header "WIP List (TODO ∈ {CONT,ATTN}, not scheduled in the future)")
                               (org-agenda-sorting-strategy '(priority-down category-up))
                               (org-agenda-todo-ignore-scheduled 'future)))
                   (tags-todo "TODO<>\"CONT\"-HOLD-SOMEWHEN-DATE-WAIT-TEMPLATE/-DONE"