Use GENSYMed symbol for the start tag.