Logic
A tautology is represented in symbolic logic as , meaning "Either a or not a." Assuming that there are no unmentioned possibilities, this covers every possible case. Another symbol used to represent a tautology is .