Encoding of a tuple of symbols