User talk:Recompile

Use-mention
Saw your edit summary for your recent edit in the article about quotations. Just in case you were in need of a name for what you were describing in the edit summary, it is called use–mention distinction. I was not sure if you already knew that, but I thought I would be helpful if you did not. — al-Shimoni  (talk) 15:19, 7 June 2019 (UTC)
 * Thank you for the useful hint, I indeed do not recall having seen this article. It would be useful, if linguistics or typography had coined a similar term, since the philosophic perspective might be more prone to lack applicability. Anyhow, I much appreciate it! — Recompile (talk) 12:21, 8 June 2019 (UTC)