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

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

> Интересно, а какая максимальная глубина вложенных друг в друга объектов
> у TeX
>
> Сейчас попробовал для корня вложиенность до 6 уровня  --- работает.

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