TeX source:
9200\,=\,115\cdot~x