Literal Equations and Formulas