TeX source:
x < -\dfrac{3}2