Syntax definition cafv2

Description: Extend the definition of a class to include the alternate function value. Read: "the value of F at A " or " F of A ". For using several apostrophes as a symbol see comment for cafv .

	Ref	Expression
Assertion	cafv2	$$class\left(F\mathrm{\text{'}\text{'}\text{'}\text{'}}A\right)$$