The OData 2.0 CSDL spec, section 2.1.3 states:
The Property MUST define the Name attribute.
without saying what the value of this attribute can be. (Same for 2.1.4 Navigation Property.)
For other kinds of Element like Entity Type it is more explicit:
EntityType MUST have a Name attribute defined. The Name attribute is of type SimpleIdentifier ...
Are the Names of Property and Navigation Property not required to be a SimpleIdentifier? If not, what can they contain? (For example, they cannot contain characters like / that would interfere with the URL syntax.)