Options

Gallows as categories, and symbols sets