En este caso se utiliza la representación x/x para referirse a "x tal que x".