Formal Notation for Pure and Mixed Strategies