I discovered that MathCAT wasn't handling English letter indicators appropriately. In fixing that problem, I found that a number of the AATA Nemeth tests were wrong for expressions like f: x->y. In these cases : is punctuation and not a "sign of comparison". Since the 'f' is at the start of the expression and is followed by punctuation, it should start with an ELI. This seems very similar to the green book's 40(2), p48. In the new Nemeth rulebook, 4.11.3 and example 10.9-1 (near the end) backs up my belief that this needs an ELI.
Update: in the latest version of the NFB guide, see lesson 5.7 which is very clear about the need for an English letter indicator. This also applies to a : in set notation.
The Aata tests are 240, 265, 315, 316 (numbering as in sre-tests\expected\nemeth\rules\aata.json).
I discovered that MathCAT wasn't handling English letter indicators appropriately. In fixing that problem, I found that a number of the AATA Nemeth tests were wrong for expressions like
f: x->y. In these cases:is punctuation and not a "sign of comparison". Since the 'f' is at the start of the expression and is followed by punctuation, it should start with an ELI. This seems very similar to the green book's 40(2), p48. In the new Nemeth rulebook, 4.11.3 and example 10.9-1 (near the end) backs up my belief that this needs an ELI.Update: in the latest version of the NFB guide, see lesson 5.7 which is very clear about the need for an English letter indicator. This also applies to a
:in set notation.The Aata tests are 240, 265, 315, 316 (numbering as in
sre-tests\expected\nemeth\rules\aata.json).