generated at
logical consequence
Tautology (logic)
Turnstile (symbol)