--- name: mathematical-constraint-formalization description: Formalize constraints using mathematical notation. --- ## Instructions 1. Initialize mathematical-constraint-formalization operational context 2. Execute primary protocol actions 3. Validate results and generate output ## Examples - "Execute mathematical-constraint-formalization protocol" - "Run mathematical constraint formalization analysis"