A label followed by a formallist is called a formallabel.