I am having problems printing an equation. I have the following definitions:
\documentclass{scrreprt}
\usepackage{mathspec}
\defaultfontfeatures{Mapping=tex-text,BoldFeatures={Weight=2}}
\setmathfont[
Scale=0.95,
Extension=.otf,
UprightFont= *-regular,
BoldFont=*-bold,
ItalicFont=*-italic,
BoldItalicFont=*-bolditalic,
]{texgyrethermes}
\usepackage{unicode-math}
\begin{document}
\begin{equation}
\label{constraint:inference}
D \models C \iff V(D) \models \top \Longrightarrow V(C) \models \top
\end{equation}
\end{document}
This is the putput that I am getting:
\begin{document}...\end{document}
) instead of the separate code pieces.