X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTNode.hh;h=adbfe69a68166138564efb94a71fcc6f865fb46d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1b816570ef3517233b908a98706b95323e9210c9;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TNode.hh b/helm/DEVEL/mathml_editor/src/TNode.hh
index 1b816570e..adbfe69a6 100644
--- a/helm/DEVEL/mathml_editor/src/TNode.hh
+++ b/helm/DEVEL/mathml_editor/src/TNode.hh
@@ -96,6 +96,7 @@ public:
   bool  isC(void) const { return is("c"); }
   bool  isC(const std::string& name) const
   { return isC() && node.getAttribute("name") == name; };
+  bool  isT(void) const { return (is("o") || is("i") || is("n") || is("s")); };
 
   friend class TDocument;