Skip to content

JMPL for VSCode

Features

Syntax highlighting
Code snippets
Symbol insertion (using \)
Auto indent

Snippets

This is the full list of code snippets:

Shortcut	Code	Description
{x}	{x	x ∈ S}	A set-builder.
for	for x ∈ S do	A for loop.

Symbol Insertion

This is the full list of symbols and characters that can be inserted using \.

Mathematical symbols:

Symbol	Code
`¬`	\not
`≤`	\<=
`≥`	\>=
`≠`	\/=
`∧`	\and
`∨`	\or
`∃`	\exists
`∀`	\forall
`∈`	\in
`⊆`	\subseteq
`⊂`	\subset
`∪`	\union
`∩`	\intersect

Greek letters:

Symbol	Code
`Α`	\Alpha
`Β`	\Beta
`Γ`	\Gamma
`Δ`	\Delta
`Ε`	\Epsilon
`Ζ`	\Zeta
`Η`	\Eta
`Θ`	\Theta
`Ι`	\Iota
`Κ`	\Kappa
`Λ`	\Lambda
`Μ`	\Mu
`Ν`	\Nu
`Ξ`	\Xi
`Ο`	\Omicron
`Π`	\Pi
`Ρ`	\Rho
`Σ`	\Sigma
`Τ`	\Tau
`Υ`	\Upsilon
`Φ`	\Phi
`Χ`	\Chi
`Ψ`	\Psi
`Ω`	\Omega
`α`	\alpha
`β`	\beta
`γ`	\gamma
`δ`	\delta
`ε`	\epsilon
`ζ`	\zeta
`η`	\eta
`θ`	\theta
`ι`	\iota
`κ`	\kappa
`λ`	\lambda
`μ`	\mu
`ν`	\nu
`ξ`	\xi
`ο`	\omicron"
`π`	\pi
`ρ`	\rho
`σ`	\sigma
`τ`	\tau
`υ`	\upsilon
`φ`	\phi
`χ`	\chi
`ψ`	\psi
`ω`	\omega