Спасибо. Понятно.
Получается, что фигурные скобки создают своего рода вложенный объект,
что-то типа рекурсии.

Этот объект называется <<группа>>.
Более того, те декларации, которые вы объявите внутри группы,
действуют только в её пределах (локальность деклараций).

Интересно, а какая максимальная глубина вложенных друг в друга объектов
у TeX

Сейчас попробовал для корня вложиенность до 6 уровня  --- работает.

Формально вложенность неограниченна. Реально: на сколько памяти хватит ;)