- some code patched

[helm.git] / helm / mathql / doc / mathql_macros.sty

diff --git a/helm/mathql/doc/mathql_macros.sty b/helm/mathql/doc/mathql_macros.sty
index de81655d4be40bec1eb133a188ab025466283000..8c8a851302800c5a060f211acc91fa9443b0706b 100644 (file)
--- a/helm/mathql/doc/mathql_macros.sty
+++ b/helm/mathql/doc/mathql_macros.sty
@@ -95,3 +95,10 @@
 \newcommand\T{\TT{T}}
 
 \newcommand\GP[1]{\TT{<#1>}}
+
+\newcommand\Set{\textsf{Set}}
+\newcommand\Prop{\textsf{Prop}}
+\newcommand\MainConclusion{\textsf{MainConclusion}}
+\newcommand\MainHypothesis{\textsf{MainHypothesis}}
+\newcommand\occurrence{\textsf{occurrence}}
+\newcommand\refObj{\textsf{refObj}}