Vuoto

DEFINITION

empty, used to indicate open string