## Question on my interpretation of logical notation relating to alphabets, theoretical comp sci. February 13

$\exists x \: \Sigma^* (t=xs)$Have I interpreted the above into words correctly?:"There exists a symbol 'x', which is a member of the set which contains all possible strings of alphabet sigma, where sigma contains string 't', which is a concatenation