synstax