"Schl\u00E4fliho symbol"@cs .