Это шаблонный символ. Они имеют минимальные исходные характеристики и поэтому могут быть определены пользователем, просто констатировав их как факты.