Dependency graph, support for equations

[ouboub]

Hi

would it be possible to support equations in the dependency graph.
Here are two images, both generated, manually, with quiver

• the dependency graph just uses the equation numbers
  

• more ambitious, the equations are themselves are displayed