Я знаю, что этот символ очень активно используется в программировании. В такие ковычки берутся, если не ошибаюсь, не то операторы, не то комментарии в коде. В html верстке в такие ковычки берут тэги.
Ни в коем случае, здесь нет и не может быть кавычек, мы же не берем эту часть выражения из других крылатых слов, а употребляем в составе цельного выражение. Возможно, первоначально кавычки были, но затем они были ликвидированы...
По правилам русского языка условные названия заключаются в кавычки. Например, трасса "Урал", торговый центр "Мода", ООО "Отдых", сайт "Яндекс.Деньги". Неофициальные названия спортсменов по этой же причине пишутся в кавычках: "лисы", "быки", "медведи".
Вероятно, что это дело вкуса. Во всяком случае во всевозможных сетевых и оффлайн изданиях можно наткнуться на что угодно: написанные названия с кавычками и без таковых. Какой то канонической догмы не просматривается, хотя более привычным смотрится написание с кавычками.