El conjunto de símbolos sería, por tanto, el siguiente: