semigroup public under algebraic-magma 22 List Picture As a command %3 n0 semigroup n2 monoid n0->n2 n3 semilattice n0->n3 n1 algebraic-magma n1->n0