digraph {
greek[fontname=Symbol label="αβγδεζηθικλμνξοπρςστυφχψωϒϖ"
];
subgraph {
a[ fontname=Symbol label="for all: ∀"];
b[ fontname=Symbol label="part: ∂"];
c[ fontname=Symbol label="exists: ∃"];
d[ fontname=Symbol label="empty: ∅"];
e[ fontname=Symbol label="nabla: ∇"];
f[ fontname=Symbol label="isin: ∈"];
g[ fontname=Symbol label="notin: ∉"];
a->b->c->d->e->f->g;
};
subgraph {
i[ fontname=Symbol label="ni: ∋"];
j[ fontname=Symbol label="prod: ∏"];
k[ fontname=Symbol label="sum: ∑"];
l[ fontname=Symbol label="lowast: ∗"];
m[ fontname=Symbol label="square root: √"];
n[ fontname=Symbol label="proportional to: ∝"];
o[ fontname=Symbol label="infinity∞"];
i->j->k->l->m->n->o
};
greek->a
greek->i
}