Tag: notational hierarchies