Edge of the two-dimensional electron gas in a gated heterostructure.