Footnote:
By convention, symbols beginning with $ are internal identifiers, and symbols beginning with ? are plan variables.
Go back to paper