| substitute-syntax < compound-form > < cons > |
| substitute-syntax < cons > < cons > |
| substitute-syntax < literal-value > < cons > |
| substitute-syntax < t > < cons > |
| substitute-syntax < t > < null > |
| substitute-syntax :around < t > < t > |
| substitute-syntax < unparsed-form > < cons > |