  We quadratically enrich Mikhalkin's correspondence theorem. That is, we prove
a correspondence between algebraic curves on a toric surface counted with
Levine's quadratic enrichment of the Welschinger sign, and tropical curves
counted with a quadratic enrichment of Mikhalkin's multiplicity for tropical
curves.
