Fuente TeX:
j>0 \wedge s=0