Без заголовка

Я не думаю, что кто-нибудь будет такое вводить. В принципе, в планах всё это менять на более осмысленные имена. Греческую Фи уже в некоторых местах поменяли на Phi. Но я считаю, что от букв вообще надо избавляться — хотя там идеологические проблемы, это ж необходимый элемент для формализации, "отсечение смыслов".