levelToSymbol: LevelToSymbol = ...