X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_macros.sty;h=8c8a851302800c5a060f211acc91fa9443b0706b;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=de81655d4be40bec1eb133a188ab025466283000;hpb=552dbd63f202c8876605b62621c3e727d71e3963;p=helm.git

diff --git a/helm/mathql/doc/mathql_macros.sty b/helm/mathql/doc/mathql_macros.sty
index de81655d4..8c8a85130 100644
--- 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}}