|
|
|
|
|
|
by msg
5760 days ago
|
|
|
The notation (C(x): x is a context) actually means "C(x) is shorthand for the following sentence: 'x is a context'". C is not undefined, it is the template "___ is a context". I guess the way the brackets are used may not be standard and could be confusing. |
|
|