X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_macros.sty;fp=helm%2Fmathql%2Fdoc%2Fmathql_macros.sty;h=8c8a851302800c5a060f211acc91fa9443b0706b;hp=de81655d4be40bec1eb133a188ab025466283000;hb=978a25d9392e5fc1a19fa37c86339c5d0b67ddd6;hpb=36f71caeee72cb15185ecbc7644ed1da5c6f8186

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}}