Symbolic Ltl _(f) Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies