Something went wrong. Try again.
Newt - a dependent typed programming language
This is a mirror of the main github repository. newt.cloakedarrow.com
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738augroup NewtUnicodeautocmd!
autocmd FileType newt inoremap <buffer> \\ \
" Single-character sequencesautocmd FileType newt inoremap <buffer> \r →autocmd FileType newt inoremap <buffer> \x ×autocmd FileType newt inoremap <buffer> \0 ₀autocmd FileType newt inoremap <buffer> \1 ₁autocmd FileType newt inoremap <buffer> \2 ₂autocmd FileType newt inoremap <buffer> \3 ₃
" Multi-character sequencesautocmd FileType newt inoremap <buffer> \all ∀autocmd FileType newt inoremap <buffer> \== ≡autocmd FileType newt inoremap <buffer> \neg ¬autocmd FileType newt inoremap <buffer> \[[ ⟦autocmd FileType newt inoremap <buffer> \]] ⟧autocmd FileType newt inoremap <buffer> \circ ∘autocmd FileType newt inoremap <buffer> \cuL ⌈autocmd FileType newt inoremap <buffer> \cuR ⌉
" Sets and Typesautocmd FileType newt inoremap <buffer> \bN ℕautocmd FileType newt inoremap <buffer> \bZ ℤ
" Greek/Logic Prefixesautocmd FileType newt inoremap <buffer> \GP ∏autocmd FileType newt inoremap <buffer> \GS Σautocmd FileType newt inoremap <buffer> \GD Δautocmd FileType newt inoremap <buffer> \GG Γautocmd FileType newt inoremap <buffer> \Gl λautocmd FileType newt inoremap <buffer> \Gs σautocmd FileType newt inoremap <buffer> \Gt τaugroup END