open-psa / mef

The Open-PSA Model Exchange Format
https://open-psa.github.io/mef
5 stars 7 forks source link

Boolean operation::not-equal: 'df' vs. 'ne' vs. 'neq' #3

Open rakhimov opened 7 years ago

rakhimov commented 7 years ago

ne seems to be more common as an operator to signify 'not-equal'. Bash comes into mind. neq is, for example, used in LaTeX. Where does df come from?

rakhimov commented 7 years ago

One more confusion with df would be its association with difference/without of sets. That is, df(a, b) = and(a, not(b)) or a\b = a * b'