Add a test case for exact printing of (->).
Add a test case for exact printing of symbol PVars.