Strings <-> symbols