Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save ComFreek/df95927265f6713661f93623d872226a to your computer and use it in GitHub Desktop.
Save ComFreek/df95927265f6713661f93623d872226a to your computer and use it in GitHub Desktop.
Use Unicode characters in TeX sources (with XeLaTeX) to have more readable TeX sources
% !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}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment