Label

Syntax

Label: String; Char

Description

Labels are used to give names to hyperedges and rules. A label is a single printable character or a sequence of characters enclosed in quotation marks.