  Reichenbach (1947, p. 284) writes: ‘Whereas the ordinary-quotes operation leads from a word to the name of that word, the token-quotes operation leads from a token to a token denoted by that token’. Reichenbach uses little arrows (\(\tokenquote{\,}\)) for token quotes, so that the sign (39):