Convert terminator to a symbol