GSM-Symbolic