Emits TLX DSL source with Unicode mathematical symbols.

Same structure as the Elixir emitter, but operators and temporal keywords are rendered as math symbols. For human reading only — not valid Elixir or TLA+.

The math is there — it's just wearing an Elixir costume.