TeX source:

((5,0),(5,6)