No, I don't think this is what eximius was talking about. I think the kind you're talking about does not use any symbolic notation.