Logic symbols/Definition

A shorthand for logical constructions