ComFreek · January 2, 2021 21:54
diff --git a/Use Unicode characters in TeX sources (with XeLaTeX) to have more readable TeX sources.tex b/Use Unicode characters in TeX sources (with XeLaTeX) to have more readable TeX sources.tex
 % !TeX TS-program = xelatex

 \documentclass[]{article}
 \usepackage{unicode-math}

 \begin{document}

 \noindent
 % These lines render the same
 $Γ ⊢ (M ⊧ φ)$\\
 $\Gamma \vdash (M \models \varphi)$

 \end{document}
	% !TeX TS-program = xelatex

	\documentclass[]{article}
	\usepackage{unicode-math}

	\begin{document}

	\noindent
	% These lines render the same
	$Γ ⊢ (M ⊧ φ)$\\
	$\Gamma \vdash (M \models \varphi)$

	\end{document}