nLab Hamiltonian and Lagrangian -- table

Hamiltonian	$\leftarrow$ Legendre transform $\rightarrow$	Lagrangian
Lagrangian correspondence	prequantization	prequantized Lagrangian correspondence