[lispm]

There are reader macros which provide a more math-like notation. Those are translating the math syntax into Lisp s-expressions at read-time.

[tsimionescu]

Yes, that's the DSL concept I was talking about.