¿No sería algo así?
Para el relator de negación son válidos:
Código [Seleccionar]
=> (2z + x/y) > w Conjunción (4 + w mod 4) - 3y <= 2.6z Disyunción ~k Conjunción (z mod 6(x - y) · 4.5)
Para el relator de negación son válidos:
Código [Seleccionar]
~, ¬ y !