Resize
Edit
Group Info
Copy

Create Connection
Create Map

Move Forward
Move Backward
Move to Front
Move to Back

Delete

Add element:

Add visualizer:

Group:

Right-click/tap any object in the sheet for more options

Stored sheets:

    Background color:

    Text:

    Text color:

    Text size:

    Alignment:

    Background color:

    Background opacity:

    Line color:

    Line thickness:

    Morphism name:

    Arrows margin:


    Define homomorphism:

    This element Maps to this
    No pairs added yet

    (
    ) =

    + Full morphism mapping: