As usual when a system is used to look upon itself, problems of self-referentiality arise. One example is the difficulty of writing a manual for a text-formatting language in that very language. Printing special characters (such as the backslash \ in TeX) requires careful quotation or escape mechanisms to prevent them from acting in the usual way. In Mathematica the main problem is unwanted evaluation of expressions we want to treat as data.
SystemProgramming.m