Palette [ ("interface" , ( Circle { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 255 255 255 , styleFill = RGB 255 255 255 } , shapeRadius = 0.25 } , Just [("interface", DoublePoint 0.0 0.25)] , Just [] )) , ("Add" , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeText = "+" } , Just [ ("left" , DoublePoint (-0.5) 0.0) , ("up" , DoublePoint 0.0 (-0.5)) , ("right", DoublePoint 0.5 0.0)] , Just [] )) , ("Z" , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeText = "0" } , Just [("up" , DoublePoint 0.0 (-0.5))] , Just [] )) , ("S" , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeText = "S" } , Just [ ("up" , DoublePoint 0.0 (-0.5) ) , ("down" , DoublePoint 0.0 0.5) ] , Just [] )) , ("Mult" , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeText = "x" } , Just [ ("left" , DoublePoint (-0.5) 0.0) , ("up" , DoublePoint 0.0 (-0.5)) , ("right", DoublePoint 0.5 0.0)] , Just [] )) , ("Max" , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeText = "Max" } , Just [ ("left" , DoublePoint (-0.5) 0.0) , ("up" , DoublePoint 0.0 (-0.5)) , ("right", DoublePoint 0.5 0.0)] , Just [] )) , ("Dupl" , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeText = "Dupl" } , Just [ ("down" , DoublePoint 0.0 0.5) , ("left" , DoublePoint (-0.5) 0.0) , ("right", DoublePoint 0.5 0.0)] , Just [] )) , ("Aux" , ( TextInEllipse { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeText = "Aux" } , Just [ ("right", DoublePoint 0.5 0.0) , ("left" , DoublePoint (-0.5) 0.0) , ("up" , DoublePoint 0.0 (-0.5))] , Just [] )) , ("Erase" , ( Composite { shapeSegments = [ Circle { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeRadius = 0.5 } , Arc { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeRadius = 0.2 , shapeStart = 90.0 , shapeEnd = 270.0 , shapeCenter = DoublePoint 0.0 (-0.18) } , Arc { shapeStyle = ShapeStyle { styleStrokeWidth = 2 , styleStrokeColour = RGB 250 0 0 , styleFill = RGB 255 255 255 } , shapeRadius = 0.2 , shapeStart = 90.0 , shapeEnd = 270.0 , shapeCenter = DoublePoint 0.0 0.18 } ] } , Just [ ("down" , DoublePoint 0.0 0.5) ] , Just [] )) ]