improved symbolic string demo