If I create a var node labelled with "and" or a calWorld node labeled with "and", it should be converted to the symbol for and ∧ (unicode 0x2227) and so on for various other symbols, such as or, not, implies, follows from, less or equal, greater or equal. Ideally the mechanism should be user programmable and general. I.e. a full blown macro system.
If I create a var node labelled with "and" or a calWorld node labeled with "and", it should be converted to the symbol for and ∧ (unicode 0x2227) and so on for various other symbols, such as or, not, implies, follows from, less or equal, greater or equal. Ideally the mechanism should be user programmable and general. I.e. a full blown macro system.