jmdyck at ibiblio.org
Mon Nov 21 12:40:03 PST 2016
On 16-11-21 12:40 PM, Joe Wicentowski wrote:
> Thanks very much for your reply! If ":=" is not an "operator," by
> your helpful definition, then is there a category like "symbol,"
> "delimiter," or at worst, "thingy," that it *does* rightly belong to?
Yup, Appendix A lets you call it a "symbol". (More specifically, a "terminal
symbol" or a "delimiting terminal symbol", but those are too cumbersome for
the blank in your sample sentence.)
More information about the talk