4 ms·
(you might want to read up on the use-mention distinction https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinction https://en.wikipedia.org/wiki/Use%E2%80%
by throw10920 5y ago
(you might want to read up on the use-mention distinction https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinction https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinctio...)
- gberger 5y agoPlease could you explain the relevance of the article to the previous comment?
- not2b 5y agoPerhaps throw10920 thinks I should have just used the word because I was only quoting the output, so it wasn't really me saying it, but I chose otherwise. I don't need to read up on the use-mention distinction to decide whether to make such a choice.
- asxd 5y agoI have a feeling the parent poster realized they were only mentioning the word, but chose not to write it anyway. For a lot of people, it is a very uncomfortable word after all.