From 5a7ce861c5f8a755f36971d96d931c471681a7ce Mon Sep 17 00:00:00 2001
From: Martin Larralde <martin.larralde@ens-paris-saclay.fr>
Date: Wed, 17 Jul 2019 19:55:05 +0000
Subject: [PATCH] Fix translation symbols in section 5.1

---
 doc/obo-syntax.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/obo-syntax.html b/doc/obo-syntax.html
index ed8ab24..9f91fff 100644
--- a/doc/obo-syntax.html
+++ b/doc/obo-syntax.html
@@ -1223,7 +1223,7 @@ <h3><a name="5.1"></a>5.1 Declarations</h3>
 </td>
 <td>is_metadata_tag(true)
 </td>
-<td valign="top" style="white-space: pre;">AnnotationProperty(<span class="name">T</span>(Rel-id)) <span class="name">T<sup>P</sup></span>(Clause-1)..<span class="name">P<sup>C</sup></span>(Clause-n)
+<td valign="top" style="white-space: pre;">AnnotationProperty(<span class="name">T</span>(Rel-id)) <span class="name">T<sup>P</sup></span>(Clause-1)..<span class="name">T<sup>P</sup></span>(Clause-n)
 </td>
 </tr>
 
@@ -1233,7 +1233,7 @@ <h3><a name="5.1"></a>5.1 Declarations</h3>
 <td>NOT (is_metadata_tag(true))
 </td>
 
-<td valign="top" style="white-space: pre;">ObjectProperty(<span class="name">T</span>(Rel-id)) <span class="name">T<sup>P</sup></span>(Clause-1)..<span class="name">P<sup>C</sup></span>(Clause-n)
+<td valign="top" style="white-space: pre;">ObjectProperty(<span class="name">T</span>(Rel-id)) <span class="name">T<sup>P</sup></span>(Clause-1)..<span class="name">T<sup>P</sup></span>(Clause-n)
 </td>
 </tr>
 
@@ -1242,7 +1242,7 @@ <h3><a name="5.1"></a>5.1 Declarations</h3>
 </td>
 <td>
 </td>
-<td valign="top" style="white-space: pre;">NamedIndividual(<span class="name">T</span>(Instance-id)) <span class="name">T<sup>I</sup></span>(Clause-1)..<span class="name">I<sup>C</sup></span>(Clause-n)
+<td valign="top" style="white-space: pre;">NamedIndividual(<span class="name">T</span>(Instance-id)) <span class="name">T<sup>I</sup></span>(Clause-1)..<span class="name">T<sup>I</sup></span>(Clause-n)
 </td>
 </tr>
 </tbody>