²The characters : and . are allowed in sort identifiers appearing inside curly braces, and ->, ˜>, @, and < are allowed as sort identifiers appearing inside curly braces.