digraph G{
    d2toptions="--autosize --nominsize";
    "c" [
    label = "<f0> C = $\varnothing$ | <f1> meuh"
    shape = "record"
    ];

    a -> c;
    b -> d;
    d -> a;
}