SKILL

Identify the mathematical domain of the text (e.g., modal logic, category theory, topology).
Use standard symbols for that domain and avoid importing symbols from other domains.
Example: use $□$ and $◊$ only in modal logic; do not use them for unrelated operators.
Example: use $\infty$ -category notation only when higher morphisms are part of the structure.
Example: reserve $π_{n}$ for homotopy groups, not for unrelated indexing.
If a symbol is nonstandard, define it explicitly before use.

emsenn