Symbols for linear logic
