InBetweener wrote, [..]
Hi Daniel. Thanks for the reply. You're right xRy means (x,y) in R. But compare the verbosity. xRy is not an MS Word notation. It is a mathematical, well established one (see https://secure.wikimedia.org/wikipedia/en/wiki/ Relation_%28mathematics%29#Formal_definition). x("slashed" R)y means (x,y) notin R, and is well established too. Of course, this notation is limited to binary relations. But I work with them most of time. With MS Word, I can write (x,y,b,...) in R whenever I need. There is no such limitation. What seems to be a limitation here is that OO Math doesn't let me do a thing like x "slash" Ry though I can do x bar Ry or x overstrike {R}y This "slash" feature allow to graphically "negate" any symbol (whatever it means). For example, P equiv Q might be negated (and *may* in MS Word) writing P "slash" equiv Q even if there is no predefined symbol do negate the equivalence. Have I been clear? Is there a "hidden" way of doing that in OO Math?
I'm no mathematician, so I may be missing something. But I'm still not clear on what the problem is. Do you want to be able to have, as the result:
the letter x followed by the letter R, with a bar over the top of that R, then followed by the letter y?
If so, why does x overline R y not suit? -- Bob Long --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
