PlusEmpty syntax