TeX source:
y=7{,}5