diff --git a/format-master.xml b/format-master.xml index 5ca1980..63fba8d 100755 --- a/format-master.xml +++ b/format-master.xml @@ -503,7 +503,7 @@ \underline{} - + \term{} @@ -1215,7 +1215,10 @@