A literal is a propositional symbol or the negation of a propositional symbol.

For example, or meanwhile or are not since literals may have at most one logical connective and it must be a negation.