"sequence symbol" Deutsche bedeutung