DIALEKTO.tex

\lstdefinelanguage{Dialekto}
{
	%inputencoding=utf8x,
	extendedchars=true,
	numbers=left,
	numberstyle={},
	tabsize=2,
	basicstyle={\footnotesize\sffamily\upshape}, %\ttfamily\small
	backgroundcolor=\color{white},
	keywords={abort,admit,apply,as,assert,assertnot,assume,compute,constant,definition,focus,in,injective,let,open,print,private,proof,proofterm,protected,qed,refine,reflexivity,require,rewrite,rule,set,simpl,symmetry,symbol,theorem,type,TYPE,why3,with,inductive,notation,left,right,infix,prefix},
	sensitive=true,
	keywordstyle=\color{blue},
	morecomment=[l]{//},
	commentstyle={\itshape\color{red}},
	string=[b]{"},
	stringstyle=\color{green},
	showstringspaces=false,
	literate={↪}{{{\color{blue}$\hookrightarrow$}}}1
	{at_ML}{{@${\mkern 0mu}_{{}_\mathsf{ML}}$}}2
	{_ML}{{${\mkern 5mu}_{{}_\mathsf{ML}}$}}1
	%{0}{${\mkern 0mu}_0$}2
	{φ0}{$\varphi_{0}$}2
	{φ1}{$\varphi_{1}$}2
	{φ2}{$\varphi_{2}$}2
	{_MM}{{${\mkern 15mu}_{{}_\mathsf{MM}}$}}1
	{→}{{{\color{blue}$\rightarrow$}}}1
	%{→\_}{{{\color{black}$\rightarrow$\_~}}}1
	{Π}{{{\color{blue}$\Pi$}}}1
	{λ}{{{\color{blue}$\lambda$}}}1
	{≔}{{{\color{blue}:=}}}1
	{\$}{{{\color{blue}\$}}}1
	{:}{{{\color{blue}:}}}1
	{;}{{{\color{blue};}}}1
	{,}{{{\color{blue},}}}1
	{⇒}{$\Rightarrow$}1
	{⇝}{$\rightsquigarrow$}1
	{⊃}{$\Rightarrow$}1  %{$\supseq$}1
	{⇔}{$\Leftrightarrow$}1
	{∈}{$\in$}1
	{⊆}{$\subseteq$}1
	{↔}{$\Leftrightarrow$}1
	{∀}{$\forall$}1
	{∃}{$\exists$}1
	{⊥}{$\bot$}1
	{⊤}{$\top$}1
	{¬}{$\neg$}1
	{≡}{$\equiv$}1
        {𝔹}{$\mathbb{B}$}1 {𝕃}{$\mathbb{L}$}1
	{ℕ}{$\mathbb{N}$}1 {ℤ}{$\mathbb{Z}$}1 {𝕍}{$\mathbb{Z}$}1
	{𝔼}{$\mathbb{E}$}1 {𝔸}{$\mathbb{A}$}1
	{α}{$\alpha$}1 {π}{$\pi$}1 {τ}{$\tau$}1 {ω}{$\omega$}1
	{□}{$\square$}1
	{⋄}{$\diamond$}1
	{⸬}{::}1
	{∧}{$\wedge$}1 {∨}{$\lor$}1
	{≤}{$\le$}1 {≠}{$\neq$}1 {∉}{$\notin$}1
	{×}{$\times$}1 {+}{+}1
	{Σ}{$\Sigma$}1
	{Γ}{$\Gamma$}1
	{Δ}{$\Delta$}1
	{Ω}{$\Omega$}1
	{⋅}{$\cdot$}1
	{∙}{$\bullet$}1
	{φ}{$\varphi$}1
	{ϕ}{$\phi$}1
	{ψ}{$\psi$}1
	{χ}{$\chi$}1
	{θ}{$\theta$}1
	{μ}{$\mu$}1
	{ν}{$\nu$}1
	{σ}{$\sigma$}1
	{κ}{$\kappa$}1
	{δ}{$\delta$}1
	{γ}{$\gamma$}1
	{⊢}{$\vdash$}1
	{⊧}{$\models$}1
}