Yes, exactly. The symbolic notation is mostly used to compress meaning (saves tokens) and to guide the model into more deterministic behavior.
It acts like pseudo-code for cognition: less ambiguity, better logical flow — while still leveraging implicit understanding.
Also, by having the model handle symbolic structures and concepts, it tends to isolate the system prompt from regular conversation, which helps keep its internal logic stable.
More complex example :
https://forum.cursor.com/t/user-rules-with-memory-errors-tracking-rules-generation/68321