TeX source:
(1{,}5;-4{,}3)