synchronizing symbols on paper and code