design_size := 12; input MnSymbolE;