Symbol =
    String "/" UnsignedInteger /
    String;