diff --git a/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty b/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty
index 4736c4ad..0f43e5a3 100644
--- a/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty
+++ b/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty
@@ -171,36 +171,39 @@
 %\newtheorem{definition}{Definition}
 %\newtheorem{theorem}{Theorem} 
 \newtheorem{defn}{Definition} 
-\NewEnviron{isamarkupDefinition*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupDefinition*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{axm}{Axiom}
 \newtheorem{theom}{Theorem}
-\NewEnviron{isamarkupTheorem*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupTheorem*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{lemm}{Lemma}
-\NewEnviron{isamarkupLemma*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupLemma*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{corr}{Corollary}
-\NewEnviron{isamarkupCorollary*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupCorollary*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{prpo}{Proposition}
-\NewEnviron{isamarkupProposition*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupProposition*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{rulE}{Rule}
 \newtheorem{assn}{Assertion}    
-\NewEnviron{isamarkupAssertion*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupAssertion*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{hypt}{Hypothesis}
-\NewEnviron{isamarkupHypothesis*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupHypothesis*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{assm}{Assumption}
-\NewEnviron{isamarkupAssumption*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupAssumption*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{prms}{Premise}
-\NewEnviron{isamarkupPremise*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupPremise*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{cons}{Consequence}
-\NewEnviron{isamarkupConsequence*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupConsequence*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{conc_stmt}{Conclusion}
-\NewEnviron{isamarkupConclusion*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupConclusion*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{prf_stmt}{Proof}
-\NewEnviron{isamarkupProof*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupProof*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{expl_stmt}{Example}
-\NewEnviron{isamarkupExample*}[1][]{\isaDof[env={text},#1]{\BODY}}
+\NewEnviron{isamarkupExample*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{rmrk}{Remark}
+\NewEnviron{isamarkupRemark*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{notn}{Notation}
+\NewEnviron{isamarkupNotation*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 \newtheorem{tmgy}{Terminology}
+\NewEnviron{isamarkupTerminology*}[1][]{\isaDof[env={text},#1,type={scholarly_paper.math_content}]{\BODY}}
 
 \newisadof{text.scholarly_paper.math_content}%
 [label=,type=%