A symbol that modifies a proposition to express necessity or possibility.