Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- " (Some of what you find below, including comments, is copy-pasted from other places)
- "
- " REQUIRED. This makes vim invoke Latex-Suite when you open a tex file.
- filetype plugin on
- " OPTIONAL: This enables automatic indentation as you type.
- filetype indent on
- " OPTIONAL: Starting with Vim 7, the filetype of empty .tex files defaults to
- " 'plaintex' instead of 'tex', which results in vim-latex not being loaded.
- " The following changes the default filetype back to 'tex':
- let g:tex_flavor='latex'
- " this is mostly a matter of taste. but LaTeX looks good with just a bit
- " of indentation.
- set sw=4
- set tabstop=4
- set shiftwidth=4
- set expandtab
- set guioptions-=T
- set iskeyword-=:
- set iskeyword-=.
- :tnoremap <Esc> <C-\><C-n>
- :tnoremap <C-k> <C-\><C-n>
- " Spell check
- au FileType tex setlocal spell spelllang=en_gb
- set pastetoggle=<F3>
- " Titlecase macro: remember to install python-titlecase, which is available at
- " https://github.com/ppannuto/python-titlecase
- xnoremap gt di<CR><CR><Up><Esc>pV:!titlecase<CR>I<BS><Esc>Jx
- xnoremap gf c<CR><CR><Esc>kpV:s/ /-/g<CR>VukJxJx:noh<CR>
- ":call VisualTitleCaseWords()<CR)>v$d$p
- "function! VisualTitleCaseWords() range
- " " save previous yank
- " let n = @n
- " " save your text to the '@' register
- " silent! normal gv"ny
- " "echo "Word count:" . system("echo '" . @n . "' | wc -w")
- " let @n = "Word count:" . system("echo '" . @n . "' | wc -w")
- " exec "normal! p"
- " " restore yank
- " let @n = n
- " " restore the visual selection
- " "normal! gv
- "endfunction
- " Plugins
- call plug#begin('~/.vim/plugged')
- Plug 'PotatoesMaster/i3-vim-syntax'
- Plug 'airblade/vim-gitgutter'
- Plug 'bkad/CamelCaseMotion'
- Plug 'godlygeek/tabular'
- Plug 'https://github.com/qpkorr/vim-renamer'
- Plug 'https://github.com/lambdalisue/suda.vim'
- Plug 'itchyny/lightline.vim'
- Plug 'johngrib/vim-game-code-break'
- Plug 'plasticboy/vim-markdown'
- Plug 'pseewald/vim-anyfold'
- Plug 'sedm0784/vim-you-autocorrect'
- Plug 'srcery-colors/srcery-vim'
- Plug 'terryma/vim-multiple-cursors'
- function! BuildYCM(info)
- " info is a dictionary with 3 fields
- " - name: name of the plugin
- " - status: 'installed', 'updated', or 'unchanged'
- " - force: set on PlugInstall! or PlugUpdate!
- if a:info.status == 'installed' || a:info.force
- !python3 ./install.py
- endif
- endfunction
- Plug 'Valloric/YouCompleteMe', { 'do': function('BuildYCM') }
- call plug#end()
- let g:suda_smart_edit = 1
- "set EnableAutocorrect
- " Camel case plugin should override w, b, and e
- map <silent> w <Plug>CamelCaseMotion_w
- map <silent> b <Plug>CamelCaseMotion_b
- map <silent> e <Plug>CamelCaseMotion_e
- sunmap w
- sunmap b
- sunmap e
- omap <silent> iw <Plug>CamelCaseMotion_iw
- xmap <silent> iw <Plug>CamelCaseMotion_iw
- omap <silent> ib <Plug>CamelCaseMotion_ib
- xmap <silent> ib <Plug>CamelCaseMotion_ib
- omap <silent> ie <Plug>CamelCaseMotion_ie
- xmap <silent> ie <Plug>CamelCaseMotion_ie
- let g:gitgutter_max_signs = 1000
- " slow multiple_cursors & YCM
- function! Multiple_cursors_before()
- let g:ycm_auto_trigger = 0
- endfunction
- function! Multiple_cursors_after()
- let g:ycm_auto_trigger = 1
- endfunction
- colorscheme srcery
- hi Normal guibg=NONE ctermbg=NONE
- let g:ycm_disable_for_files_larger_than_kb = 2000
- cmap w!! w !sudo tee %
- " <C-k> is <Esc>
- imap <C-k> <Esc>
- imap <C-d> <Space><Esc>lcaw
- vmap <C-k> <Esc>
- "imap <Enter> <Enter><A-i>
- nmap H ^
- nmap L $
- vmap H ^
- vmap L $h
- vnoremap <silent> <Leader>is :<C-U>let old_reg_a=@a<CR>
- \:let old_reg=@"<CR>
- \gv"ay
- \:let @a=substitute(@a, '.\(.*\)\@=',
- \ '\=@a[strlen(submatch(1))]', 'g')<CR>
- \gvc<C-R>a<Esc>
- \:let @a=old_reg_a<CR>
- \:let @"=old_reg<CR>
- "inoremap <up> <nop>
- "inoremap <down> <nop>
- "inoremap <left> <nop>
- "inoremap <right> <nop>
- " This gets rid of the nasty _ italic bug in tpope's vim-markdown
- " block \\(..\\)
- syn region math start=/\$\$/ end=/\$\$/
- " inline math
- syn match math '\\\\([^$].\{-}\\\\)'
- " actually highlight the region we defined as "math"
- hi link math Statement
- " Vim-latex rules:
- " to enable \ll to run automatically for pdfs
- let g:Tex_DefaultTargetFormat='pdf'
- let g:Tex_MultipleCompileFormats='pdf'
- " Folding
- let g:Tex_FoldedEnvironments = 'Proof,proof,footnote,diagram,diagram*,diagrams,frame,table,tabular'
- " let g:Tex_FoldedEnvironments = 'abstract,align,comment,construction,corollary,corollary*,definition,definition*,diagram,diagram*,eq,equation,equation*,etymology,example,examples,figure,gather,idea,illustration,intuition,keywords,lemma,lemma*,mnemonic,motivation,nonexample,notation,numbered-proof,prescription,proof,proof-sketch,proposition,proposition*,remark,remark,table,thebibliography,theorem,theorem*,titlepage,verbatim,warning'
- " Compile with LuaLaTex by default for PDF
- let g:Tex_CompileRule_pdf = 'lualatex -synctex=1 -interaction=nonstopmode -pdf $*'
- " let g:Tex_ViewRule_pdf = 'evince'
- map <Leader>e :w<CR><C-w><C-p>A<Up><CR><Esc><C-w><C-p>
- map <Leader>s :w<CR><C-w><C-p>A<C-c><CR><Up><CR><Esc><C-w><C-p>
- map <Leader>t :w<CR>A<CR><Esc>:.!pwd<CR>A<CR><Esc>:.!echo %<CR><Esc>kJr/^v$hdi<BS><Esc>8u<C-w>s:ter<CR>Apython3 /home/topological.modular.forms/scripts/latex_compile.py "<Esc>pA"<CR><Esc>G:resize 2<CR><C-w><C-r><C-w><C-p>
- map <Leader>r :w<CR>A<CR><Esc>:.!echo %<CR>v$hdi<BS><Esc>u<C-w>s:ter<CR>Apython3 /home/topological.modular.forms/mess/scripts/vim_compile.py <Esc>pA<CR><Esc>G:resize 2<CR><C-w><C-r><C-w><C-p>
- nmap <Leader>w <C-w><C-p>:resize 10<CR><C-w><C-p>
- nmap <Leader>f <C-w><C-p>:resize 2<CR><C-w><C-p>
- nmap <Leader>g :resize 2<CR>
- nmap <Leader>q <C-w>k<C-w><C-e><C-w>j
- "
- nmap <C-z> i<CR><Esc>k$
- let g:Tex_GotoError=0
- let g:Tex_SmartKeyQuote=0
- set winaltkeys=no
- " Custom Macros
- let g:Tex_Env_definition = "\\begin{definition}{}{}%\<CR><++>\<CR>\\end{definition}\<CR><++>"
- let g:Tex_Env_lemma = "\\begin{lemma}{}{}%\<CR><++>\<CR>\\end{lemma}\<CR><++>"
- let g:Tex_Env_proof = "\\begin{Proof}{Proof of \cref{}}%\<CR><++>\<CR>\\end{Proof}\<CR><++>"
- let g:Tex_Env_proposition = "\\begin{proposition}{<++>}{<++>}%\<CR><++>\<CR>\\end{proposition}\<CR><++>"
- let g:Tex_Env_theorem = "\\begin{theorem}{}{}%\<CR><++>\<CR>\\end{theorem}\<CR><++>"
- let g:Tex_Env_corollary = "\\begin{corollary}{}{}%\<CR><++>\<CR>\\end{corollary}\<CR><++>"
- let g:Tex_Env_remark = "\\begin{remark}{}{}%\<CR><++>\<CR>\\end{remark}\<CR><++>"
- let g:Tex_Env_warning = "\\begin{warning}{}{}%\<CR><++>\<CR>\\end{warning}\<CR><++>"
- let g:Tex_Env_idea = "\\begin{idea}{}{}%\<CR><++>\<CR>\\end{idea}\<CR><++>"
- let g:Tex_Env_functoriality = "\\begin{functoriality}{}{}%\<CR><++>\<CR>\\end{functoriality}\<CR><++>"
- let g:Tex_Env_construction = "\\begin{construction}{}{}%\<CR><++>\<CR>\\end{construction}\<CR><++>"
- let g:Tex_Env_example = "\\begin{example}{}{}%\<CR><++>\<CR>\\end{example}\<CR><++>"
- let g:Tex_Env_examples = "\\begin{examples}{}{}%\<CR><++>\<CR>\\end{examples}\<CR><++>"
- let g:Tex_Env_motivation = "\\begin{motivation}{}{}%\<CR><++>\<CR>\\end{motivation}\<CR><++>"
- let g:Tex_Env_intuition = "\\begin{intuition}{}{}%\<CR><++>\<CR>\\end{intuition}\<CR><++>"
- let g:Tex_Env_notation = "\\begin{notation}{}{}%\<CR><++>\<CR>\\end{notation}\<CR><++>"
- let g:Tex_Env_illustration = "\\begin{illustration}{}{}%\<CR><++>\<CR>\\end{illustration}\<CR><++>"
- let g:Tex_Env_enum = "\\begin{enumerate}\<CR>\<BS>\<BS>\<BS>\<BS>\item <++>\<CR>\\end{enumerate}\<CR><++>"
- let g:Tex_Env_item = "\\begin{itemize}\<CR><BS><BS><BS><BS>\item <++>\<CR>\\end{itemize}\<CR><++>"
- % These are very useful; e.g. typing p and then alt+f gives you \mathfrak{p}
- imap <M-v> <Left>\CatFont{<Right>}<Esc>vhUla
- imap <M-f> <Left>\mathfrak{<Right>}
- imap <M-x> <Left>\mathscr{<Right>}
- imap <M-g> <Left>\mathbold{<Right>}
- imap <M-z> <Left>\SheafFont{<Right>}<Esc>vhUla
- imap <M-r> \cref{}
- imap <M-n> \llbracket z\rrbracket<++><Esc>Fza<BS>
- imap <M-S-r> \Cref{}
- imap <M-b> <Left>\mathbold{<Right>}
- imap `[ \[\]<Left><Left>
- "imap `[ \begin{definition}<CR><CR>\end{definition}<CR><++><Up><Up>
- "imap `] \begin{proposition}<CR><CR>\end{proposition}<CR><++><Up><Up>
- " Abbreviations for LaTeX files
- autocmd FileType tex iabbrev 0ar $0$-arrow
- autocmd FileType tex iabbrev 0ars $0$-arrows
- autocmd FileType tex iabbrev 0mor $0$-morphism
- autocmd FileType tex iabbrev 0mors $0$-morphisms
- autocmd FileType tex iabbrev 0sim $0$-simplex
- autocmd FileType tex iabbrev 0tr $0$-truncated
- autocmd FileType tex iabbrev 1ar $1$-arrow
- autocmd FileType tex iabbrev 1ars $1$-arrows
- autocmd FileType tex iabbrev 1dim $1$-dimensional
- autocmd FileType tex iabbrev 1f $1$-form
- autocmd FileType tex iabbrev 1fs $1$-forms
- autocmd FileType tex iabbrev 1mor $1$-morphism
- autocmd FileType tex iabbrev 1mors $1$-morphisms
- autocmd FileType tex iabbrev 1sim $1$-simplex
- autocmd FileType tex iabbrev 1sims $1$-simplices
- autocmd FileType tex iabbrev 1tr $1$-truncated
- autocmd FileType tex iabbrev 2ar $2$-arrow
- autocmd FileType tex iabbrev 2ars $2$-arrows
- autocmd FileType tex iabbrev 2dim $2$-dimensional
- autocmd FileType tex iabbrev 2f $2$-form
- autocmd FileType tex iabbrev 2fs $2$-forms
- autocmd FileType tex iabbrev 2cat $2$-category
- autocmd FileType tex iabbrev 2cats $2$-categories
- autocmd FileType tex iabbrev 3cat $3$-category
- autocmd FileType tex iabbrev 2mor $2$-morphism
- autocmd FileType tex iabbrev 2iso $2$-isomorphism
- autocmd FileType tex iabbrev 2isos $2$-isomorphisms
- autocmd FileType tex iabbrev 2mors $2$-morphisms
- autocmd FileType tex iabbrev 2of3 $2$-of-$3$
- autocmd FileType tex iabbrev 2of6 $2$-of-$6$
- autocmd FileType tex iabbrev 2sim $2$-simplex
- autocmd FileType tex iabbrev 2sims $2$-simplices
- autocmd FileType tex iabbrev 2tr $2$-truncated
- autocmd FileType tex iabbrev 3dim $3$-dimensional
- autocmd FileType tex iabbrev 3f $3$-form
- autocmd FileType tex iabbrev 3fs $3$-forms
- autocmd FileType tex iabbrev 3sim $3$-simplex
- autocmd FileType tex iabbrev 3sims $3$-simplices
- autocmd FileType tex iabbrev 3tr $3$-truncated
- autocmd FileType tex iabbrev AHSS Atiyah--Hirzebruch spectral sequence
- autocmd FileType tex iabbrev ANSS Adams--Novikov spectral sequence
- autocmd FileType tex iabbrev AS algebraic set
- autocmd FileType tex iabbrev ASS Adams spectral sequence
- autocmd FileType tex iabbrev BC boundary condition
- autocmd FileType tex iabbrev BCS boundary conditions
- autocmd FileType tex iabbrev BCs boundary conditions
- autocmd FileType tex iabbrev BS Banach space
- autocmd FileType tex iabbrev BSs Banach spaces
- autocmd FileType tex iabbrev BSS Banach spaces
- autocmd FileType tex iabbrev CA Clifford algebra
- autocmd FileType tex iabbrev CC complex conjugate
- autocmd FileType tex iabbrev CFS cofibre sequence
- autocmd FileType tex iabbrev CFSS cofibre sequences
- autocmd FileType tex iabbrev CFSs cofibre sequences
- autocmd FileType tex iabbrev CI $\mathsrc{C}^I$
- autocmd FileType tex iabbrev CN $\C^n$
- autocmd FileType tex iabbrev CO consisting of
- autocmd FileType tex iabbrev CS closed string
- autocmd FileType tex iabbrev xbul $X_\bullet$
- autocmd FileType tex iabbrev ybul $Y_\bullet$
- autocmd FileType tex iabbrev CT classifying topos
- autocmd FileType tex iabbrev CTI classifying topoi
- autocmd FileType tex iabbrev vsh \par\vspace*{-1.75\baselineskip}
- autocmd FileType tex iabbrev CTS classifying topoi
- autocmd FileType tex iabbrev DG differential graded
- autocmd FileType tex iabbrev DGA differential graded algebra
- autocmd FileType tex iabbrev DN $\Delta^n$
- autocmd FileType tex iabbrev DT distinguished triangle
- autocmd FileType tex iabbrev DTS distinguished triangles
- autocmd FileType tex iabbrev DTs distinguished triangles
- autocmd FileType tex iabbrev ES exact sequence
- autocmd FileType tex iabbrev ESS exact sequences
- autocmd FileType tex iabbrev Etale Étale
- autocmd FileType tex iabbrev FAB $F\colon\CatFont{A}\longrightarrow\CatFont{B}$
- autocmd FileType tex iabbrev FCD $F\colon\CatFont{C}\longrightarrow\CatFont{D}$
- autocmd FileType tex iabbrev FE field extension
- autocmd FileType tex iabbrev FF fully faithful
- autocmd FileType tex iabbrev beilinson Beĭlinson
- autocmd FileType tex iabbrev dbcoh Deligne--Beĭlinson cohomology
- autocmd FileType tex iabbrev IOW In other words
- autocmd FileType tex iabbrev iow In other words
- autocmd FileType tex iabbrev FFAES fully faithful and essentially surjective
- autocmd FileType tex iabbrev FFE fully faithful embedding
- autocmd FileType tex iabbrev FFF fully faithful functor
- autocmd FileType tex iabbrev FFFS fully faithful functors
- autocmd FileType tex iabbrev FFFs fully faithful functors
- autocmd FileType tex iabbrev FG formal group
- autocmd FileType tex iabbrev FGS formal groups
- autocmd FileType tex iabbrev FGs formal groups
- autocmd FileType tex iabbrev FS fibre sequence
- autocmd FileType tex iabbrev FSS fibre sequences
- autocmd FileType tex iabbrev FSs fibre sequences
- autocmd FileType tex iabbrev Fa For any
- autocmd FileType tex iabbrev Fe For each
- autocmd FileType tex iabbrev GT Grothendieck topology
- autocmd FileType tex iabbrev GTS Grothendieck topologies
- autocmd FileType tex iabbrev GTs Grothendieck topologies
- autocmd FileType tex iabbrev Godel Gödel
- autocmd FileType tex iabbrev HE homotopy equivalence
- autocmd FileType tex iabbrev IT $\infty$-topos
- autocmd FileType tex iabbrev ITS $\infty$-topoi
- autocmd FileType tex iabbrev ITs $\infty$-topoi
- autocmd FileType tex iabbrev LS loop space
- autocmd FileType tex iabbrev Mg More generally,
- autocmd FileType tex iabbrev Mp More precisely,
- autocmd FileType tex iabbrev OP operator
- autocmd FileType tex iabbrev OPS operators
- autocmd FileType tex iabbrev OPs operators
- autocmd FileType tex iabbrev PT Postnikov tower
- autocmd FileType tex iabbrev Prop Proposition
- autocmd FileType tex iabbrev QA Quillen adjunction
- autocmd FileType tex iabbrev QAS Quillen adjunctions
- autocmd FileType tex iabbrev QAs Quillen adjunctions
- autocmd FileType tex iabbrev QE Quillen equivalence
- autocmd FileType tex iabbrev QES Quillen equivalenceS
- autocmd FileType tex iabbrev QET Quillen equivalent
- autocmd FileType tex iabbrev QEs Quillen equivalences
- autocmd FileType tex iabbrev QEt Quillen equivalent
- autocmd FileType tex iabbrev SC subobject classifier
- autocmd FileType tex iabbrev SESS Serre spectral sequence
- autocmd FileType tex iabbrev SS spectral sequence
- autocmd FileType tex iabbrev SeSS Serre spectral sequence
- autocmd FileType tex iabbrev TI There is
- autocmd FileType tex iabbrev Te There exists
- autocmd FileType tex iabbrev Tfcae The following conditions are equivalent:
- autocmd FileType tex iabbrev Tfsat The following statements are true:
- autocmd FileType tex iabbrev Ttfcae Then the following conditions are equivalent:
- autocmd FileType tex iabbrev UP universal property
- autocmd FileType tex iabbrev UPS universal properties
- autocmd FileType tex iabbrev UPs universal properties
- autocmd FileType tex iabbrev WE weak equivalence
- autocmd FileType tex iabbrev WES weak equivalences
- autocmd FileType tex iabbrev WEs weak equivalences
- autocmd FileType tex iabbrev WHE weak homotopy equivalence
- autocmd FileType tex iabbrev WHES weak homotopy equivalences
- autocmd FileType tex iabbrev WHEs weak homotopy equivalences
- autocmd FileType tex iabbrev ab abelian
- autocmd FileType tex iabbrev abcat abelian category
- autocmd FileType tex iabbrev abcats abelian categories
- autocmd FileType tex iabbrev bcat $\CatFont{B}$-category
- autocmd FileType tex iabbrev bcats $\CatFont{B}$-categories
- autocmd FileType tex iabbrev bfu $\CatFont{B}$-functor
- autocmd FileType tex iabbrev bfus $\CatFont{B}$-functors
- autocmd FileType tex iabbrev bnt $\CatFont{B}$-natural transformation
- autocmd FileType tex iabbrev bnts $\CatFont{B}$-natural transformations
- autocmd FileType tex iabbrev abg abelian group
- autocmd FileType tex iabbrev abgs abelian groups
- autocmd FileType tex iabbrev acm almost-complex manifold
- autocmd FileType tex iabbrev acms almost-complex manifolds
- autocmd FileType tex iabbrev ader antiderivation
- autocmd FileType tex iabbrev adj adjunction
- autocmd FileType tex iabbrev ae anodyne extension
- autocmd FileType tex iabbrev afsc affine formal scheme
- autocmd FileType tex iabbrev alg algebra
- autocmd FileType tex iabbrev algclo algebraically closed
- autocmd FileType tex iabbrev algs algebras
- autocmd FileType tex iabbrev alin antilinear
- autocmd FileType tex iabbrev amod $A$-module
- autocmd FileType tex iabbrev andre André
- autocmd FileType tex iabbrev aos affine open scheme
- autocmd FileType tex iabbrev aoss affine open schemes
- autocmd FileType tex iabbrev aqc André--Quillen cohomology
- autocmd FileType tex iabbrev aqh André--Quillen homology
- autocmd FileType tex iabbrev vn $(V,\norm{-})$
- autocmd FileType tex iabbrev asc affine scheme
- autocmd FileType tex iabbrev ascs affine schemes
- autocmd FileType tex iabbrev asso associated
- autocmd FileType tex iabbrev aut automorphism
- autocmd FileType tex iabbrev auto automorphism
- autocmd FileType tex iabbrev autos automorphisms
- autocmd FileType tex iabbrev auts automorphisms
- autocmd FileType tex iabbrev av affine variety
- autocmd FileType tex iabbrev avs affine varieties
- autocmd FileType tex iabbrev ax axiom
- autocmd FileType tex iabbrev ax axiom
- autocmd FileType tex iabbrev axs axioms
- autocmd FileType tex iabbrev bc base change
- autocmd FileType tex iabbrev bd boundary
- autocmd FileType tex iabbrev bds boundaries
- autocmd FileType tex iabbrev ber Berezinian
- autocmd FileType tex iabbrev bif bifunctor
- autocmd FileType tex iabbrev bifs bifunctors
- autocmd FileType tex iabbrev bij bijection
- autocmd FileType tex iabbrev bil bilinear
- autocmd FileType tex iabbrev bir birational
- autocmd FileType tex iabbrev bmap birational map
- autocmd FileType tex iabbrev bord bordism
- autocmd FileType tex iabbrev bps Brown--Peterson spectrum
- autocmd FileType tex iabbrev bpss Brown--Peterson spectra
- autocmd FileType tex iabbrev bpt basepoint
- autocmd FileType tex iabbrev bpts basepoints
- autocmd FileType tex iabbrev bs bisimplicial set
- autocmd FileType tex iabbrev bss bisimplicial sets
- autocmd FileType tex iabbrev bt between
- autocmd FileType tex iabbrev bu bundle
- autocmd FileType tex iabbrev bus bundles
- autocmd FileType tex iabbrev ca complex analytic
- autocmd FileType tex iabbrev calL $\mathcal{L}$
- autocmd FileType tex iabbrev cala $\mathcal{A}$
- autocmd FileType tex iabbrev calb $\mathcal{B}$
- autocmd FileType tex iabbrev calc $\mathcal{C}$
- autocmd FileType tex iabbrev cald $\mathcal{D}$
- autocmd FileType tex iabbrev cale $\mathcal{E}$
- autocmd FileType tex iabbrev calf $\mathcal{F}$
- autocmd FileType tex iabbrev calg $\mathcal{G}$
- autocmd FileType tex iabbrev calh $\mathcal{H}$
- autocmd FileType tex iabbrev cali $\mathcal{I}$
- autocmd FileType tex iabbrev calj $\mathcal{J}$
- autocmd FileType tex iabbrev calk $\mathcal{K}$
- autocmd FileType tex iabbrev calm $\mathcal{M}$
- autocmd FileType tex iabbrev caln $\mathcal{N}$
- autocmd FileType tex iabbrev calo $\mathcal{O}$
- autocmd FileType tex iabbrev calp $\mathcal{P}$
- autocmd FileType tex iabbrev calq $\mathcal{Q}$
- autocmd FileType tex iabbrev calr $\mathcal{R}$
- autocmd FileType tex iabbrev cals $\mathcal{S}$
- autocmd FileType tex iabbrev calt $\mathcal{T}$
- autocmd FileType tex iabbrev calu $\mathcal{U}$
- autocmd FileType tex iabbrev calv $\mathcal{V}$
- autocmd FileType tex iabbrev calw $\mathcal{W}$
- autocmd FileType tex iabbrev calx $\mathcal{X}$
- autocmd FileType tex iabbrev caly $\mathcal{Y}$
- autocmd FileType tex iabbrev calz $\mathcal{Z}$
- autocmd FileType tex iabbrev cano canonical
- autocmd FileType tex iabbrev car Cartesian
- autocmd FileType tex iabbrev cmor Cartesian morphism
- autocmd FileType tex iabbrev cmors Cartesian morphisms
- autocmd FileType tex iabbrev cartc Cartesian closed
- autocmd FileType tex iabbrev cat category
- autocmd FileType tex iabbrev bicat bicategory
- autocmd FileType tex iabbrev bicats bicategories
- autocmd FileType tex iabbrev cata $\CatFont{A}$
- autocmd FileType tex iabbrev catb $\CatFont{B}$
- autocmd FileType tex iabbrev catc $\CatFont{C}$
- autocmd FileType tex iabbrev catd $\CatFont{D}$
- autocmd FileType tex iabbrev cate $\CatFont{E}$
- autocmd FileType tex iabbrev catf $\CatFont{F}$
- autocmd FileType tex iabbrev catg $\CatFont{G}$
- autocmd FileType tex iabbrev cath $\CatFont{H}$
- autocmd FileType tex iabbrev cati $\CatFont{I}$
- autocmd FileType tex iabbrev catj $\CatFont{J}$
- autocmd FileType tex iabbrev catk $\CatFont{K}$
- autocmd FileType tex iabbrev catl $\CatFont{L}$
- autocmd FileType tex iabbrev catm $\CatFont{M}$
- autocmd FileType tex iabbrev catn $\CatFont{N}$
- autocmd FileType tex iabbrev cato $\CatFont{O}$
- autocmd FileType tex iabbrev catp $\CatFont{P}$
- autocmd FileType tex iabbrev catq $\CatFont{Q}$
- autocmd FileType tex iabbrev catr $\CatFont{R}$
- autocmd FileType tex iabbrev cats categories
- autocmd FileType tex iabbrev catt $\CatFont{T}$
- autocmd FileType tex iabbrev catu $\CatFont{U}$
- autocmd FileType tex iabbrev catv $\CatFont{V}$
- autocmd FileType tex iabbrev catw $\CatFont{W}$
- autocmd FileType tex iabbrev catx $\CatFont{X}$
- autocmd FileType tex iabbrev caty $\CatFont{Y}$
- autocmd FileType tex iabbrev catz $\CatFont{Z}$
- autocmd FileType tex iabbrev cb cotangent bundle
- autocmd FileType tex iabbrev cc $\C$
- autocmd FileType tex iabbrev ccart co-Cartesian
- autocmd FileType tex iabbrev ccom chain complex
- autocmd FileType tex iabbrev ccoms chain complexes
- autocmd FileType tex iabbrev cd coordinate
- autocmd FileType tex iabbrev cdc coordinate chart
- autocmd FileType tex iabbrev cdi commutative diagram
- autocmd FileType tex iabbrev cdis commutative diagrams
- autocmd FileType tex iabbrev cds coordinates
- autocmd FileType tex iabbrev cech Čech
- autocmd FileType tex iabbrev cf continuous function
- autocmd FileType tex iabbrev cfab $f\colon\CatFont{A}\longrightarrow\CatFont{B}$
- autocmd FileType tex iabbrev cfs continuous functions
- autocmd FileType tex iabbrev cft conformal field theory
- autocmd FileType tex iabbrev ch chain
- autocmd FileType tex iabbrev cha $\Ch(\CatFont{A})$
- autocmd FileType tex iabbrev chm cohomology
- autocmd FileType tex iabbrev cht chain homotopy
- autocmd FileType tex iabbrev chts chain homotopies
- autocmd FileType tex iabbrev ci canonical isomorphism
- autocmd FileType tex iabbrev cji $C^\infty$
- autocmd FileType tex iabbrev cjif $C^\infty$-function
- autocmd FileType tex iabbrev cjifs $C^\infty$-functions
- autocmd FileType tex iabbrev ckc contractible \Kancomplex
- autocmd FileType tex iabbrev cls classifying space
- autocmd FileType tex iabbrev clss classifying spaces
- autocmd FileType tex iabbrev cm chain map
- autocmd FileType tex iabbrev cms chain maps
- autocmd FileType tex iabbrev cnt constant
- autocmd FileType tex iabbrev coa coalgebra
- autocmd FileType tex iabbrev coas coalgebras
- autocmd FileType tex iabbrev cob cobordism
- autocmd FileType tex iabbrev cobj cofibrant object
- autocmd FileType tex iabbrev cobjs cofibrant objects
- autocmd FileType tex iabbrev coc $(\CatFont{C},\SheafFont{O}_\CatFont{C})$
- autocmd FileType tex iabbrev coct complex-orientable cohomology theory
- autocmd FileType tex iabbrev cod codomain
- autocmd FileType tex iabbrev codim codimension
- autocmd FileType tex iabbrev coef coefficient
- autocmd FileType tex iabbrev coefs coefficients
- autocmd FileType tex iabbrev cof cofibration
- autocmd FileType tex iabbrev cofr cofibrant resolution
- autocmd FileType tex iabbrev cofs cofibrations
- autocmd FileType tex iabbrev coh cohomology
- autocmd FileType tex iabbrev cohc cohomology class
- autocmd FileType tex iabbrev cok cokernel
- autocmd FileType tex iabbrev col colimit
- autocmd FileType tex iabbrev coll collection
- autocmd FileType tex iabbrev colls collections
- autocmd FileType tex iabbrev colp colimit-preserving
- autocmd FileType tex iabbrev cols colimits
- autocmd FileType tex iabbrev com complex
- autocmd FileType tex iabbrev comm commutative
- autocmd FileType tex iabbrev comp composition
- autocmd FileType tex iabbrev comps compositions
- autocmd FileType tex iabbrev cond condition
- autocmd FileType tex iabbrev conds conditions
- autocmd FileType tex iabbrev conf conformal
- autocmd FileType tex iabbrev copd coproduct
- autocmd FileType tex iabbrev cope cohomology operation
- autocmd FileType tex iabbrev copes cohomology operations
- autocmd FileType tex iabbrev corr correspondence
- autocmd FileType tex iabbrev cot cohomology theory
- autocmd FileType tex iabbrev cots cohomology theories
- autocmd FileType tex iabbrev cov covering
- autocmd FileType tex iabbrev covc $\Cov(\CatFont{C})$
- autocmd FileType tex iabbrev covs coverings
- autocmd FileType tex iabbrev covu $\left\{U_i\longrightarrow U\right\}_{i\in I}$
- autocmd FileType tex iabbrev cp compact
- autocmd FileType tex iabbrev cring commutative ring
- autocmd FileType tex iabbrev crings commutative rings
- autocmd FileType tex iabbrev cs categories
- autocmd FileType tex iabbrev csm cs manifold
- autocmd FileType tex iabbrev csmn complex supermanifold
- autocmd FileType tex iabbrev csms cs manifolds
- autocmd FileType tex iabbrev csp compact support
- autocmd FileType tex iabbrev cspd compactly supported
- autocmd FileType tex iabbrev csq commutative square
- autocmd FileType tex iabbrev csqs commutative squares
- autocmd FileType tex iabbrev ct continuous
- autocmd FileType tex iabbrev cval $\CatFont{C}$-valued
- autocmd FileType tex iabbrev cw CW-complex
- autocmd FileType tex iabbrev cws CW-complexes
- autocmd FileType tex iabbrev da defined as
- autocmd FileType tex iabbrev db defined by
- autocmd FileType tex iabbrev dby defined by
- autocmd FileType tex iabbrev dec decomposition
- autocmd FileType tex iabbrev def definition
- autocmd FileType tex iabbrev defs definitions
- autocmd FileType tex iabbrev defo deformation
- autocmd FileType tex iabbrev defos deformations
- autocmd FileType tex iabbrev deg degree
- autocmd FileType tex iabbrev den density
- autocmd FileType tex iabbrev dens densities
- autocmd FileType tex iabbrev der derivation
- autocmd FileType tex iabbrev ders derivations
- autocmd FileType tex iabbrev df differential form
- autocmd FileType tex iabbrev dfs differential forms
- autocmd FileType tex iabbrev dg differential graded
- autocmd FileType tex iabbrev dgc differential graded category
- autocmd FileType tex iabbrev dgcs differential graded categories
- autocmd FileType tex iabbrev di diagram
- autocmd FileType tex iabbrev diag diagonal
- autocmd FileType tex iabbrev diags diagonals
- autocmd FileType tex iabbrev dif diffeomorphism
- autocmd FileType tex iabbrev diff differential
- autocmd FileType tex iabbrev difs diffeomorphisms
- autocmd FileType tex iabbrev dim dimension
- autocmd FileType tex iabbrev dims dimensions
- autocmd FileType tex iabbrev dis diagrams
- autocmd FileType tex iabbrev div divisor
- autocmd FileType tex iabbrev dms Deligne--Mumford stack
- autocmd FileType tex iabbrev dmss Deligne--Mumford stacks
- autocmd FileType tex iabbrev dom domain
- autocmd FileType tex iabbrev dos distinguished open set
- autocmd FileType tex iabbrev doss distinguished open sets
- autocmd FileType tex iabbrev dr deformation retract
- autocmd FileType tex iabbrev dvr discrete valuation ring
- autocmd FileType tex iabbrev ecd effective Cartier divisor
- autocmd FileType tex iabbrev ecds effective Cartier divisors
- autocmd FileType tex iabbrev ed exterior derivative
- autocmd FileType tex iabbrev eio enough injective objects
- autocmd FileType tex iabbrev eirs $\Einfty$-ring spectrum
- autocmd FileType tex iabbrev eirss $\Einfty$-ring spectra
- autocmd FileType tex iabbrev ekt Morava $E$-theory
- autocmd FileType tex iabbrev el element
- autocmd FileType tex iabbrev els elements
- autocmd FileType tex iabbrev emb embedding
- autocmd FileType tex iabbrev embs embeddings
- autocmd FileType tex iabbrev ems Eilenberg--MacLane space
- autocmd FileType tex iabbrev emsp Eilenberg--MacLane spectrum
- autocmd FileType tex iabbrev emspa Eilenberg--MacLane spectra
- autocmd FileType tex iabbrev emss Eilenberg--MacLane spaces
- autocmd FileType tex iabbrev emt energy-momentum tensor
- autocmd FileType tex iabbrev endo endomorphism
- autocmd FileType tex iabbrev endos endomorphisms
- autocmd FileType tex iabbrev enr enriched
- autocmd FileType tex iabbrev enrc enriched category
- autocmd FileType tex iabbrev enrcs enriched categories
- autocmd FileType tex iabbrev eom equation of motion
- autocmd FileType tex iabbrev eoms equations of motion
- autocmd FileType tex iabbrev epi epimorphism
- autocmd FileType tex iabbrev epis epimorphisms
- autocmd FileType tex iabbrev epo enough projective objects
- autocmd FileType tex iabbrev eq equivalence
- autocmd FileType tex iabbrev eqs equivalences
- autocmd FileType tex iabbrev eqt equivalent
- autocmd FileType tex iabbrev er equivalence relation
- autocmd FileType tex iabbrev esaff essentially surjective and fully faithful
- autocmd FileType tex iabbrev etale étale
- autocmd FileType tex iabbrev fa for any
- autocmd FileType tex iabbrev fab $f\colon A\longrightarrow B$
- autocmd FileType tex iabbrev fac factorisation
- autocmd FileType tex iabbrev fb fibre bundle
- autocmd FileType tex iabbrev fbs fibre bundles
- autocmd FileType tex iabbrev fc functor category
- autocmd FileType tex iabbrev vcat $\CatFont{V}$-category
- autocmd FileType tex iabbrev vcats $\CatFont{V}$-categories
- autocmd FileType tex iabbrev vfu $\CatFont{V}$-functor
- autocmd FileType tex iabbrev vfus $\CatFont{V}$-functors
- autocmd FileType tex iabbrev vnt $\CatFont{V}$-natural transformation
- autocmd FileType tex iabbrev vnts $\CatFont{V}$-natural transformations
- autocmd FileType tex iabbrev fcc $f\colon\C\longrightarrow\C$
- autocmd FileType tex iabbrev fdim finite-dimensional
- autocmd FileType tex iabbrev fe for each
- autocmd FileType tex iabbrev fei for each $i\in I$.
- autocmd FileType tex iabbrev feuiox for each $U\in\Open(X)$.
- autocmd FileType tex iabbrev fext field extension
- autocmd FileType tex iabbrev fexts field extensions
- autocmd FileType tex iabbrev ff $f$
- autocmd FileType tex iabbrev fg freely generated
- autocmd FileType tex iabbrev fgen finitely generated
- autocmd FileType tex iabbrev fgh $f\colon G\longrightarrow H$
- autocmd FileType tex iabbrev fgl formal group law
- autocmd FileType tex iabbrev fgls formal group laws
- autocmd FileType tex iabbrev fhe $F\hookrightarrow E$
- autocmd FileType tex iabbrev fi finite
- autocmd FileType tex iabbrev fib fibration
- autocmd FileType tex iabbrev fibr fibrant resolution
- autocmd FileType tex iabbrev fibs fibrations
- autocmd FileType tex iabbrev fil filtration
- autocmd FileType tex iabbrev fils filtrations
- autocmd FileType tex iabbrev fl functorial
- autocmd FileType tex iabbrev fmn $f\colon M\longrightarrow N$
- autocmd FileType tex iabbrev fobj fibrant object
- autocmd FileType tex iabbrev fobjs fibrant objects
- autocmd FileType tex iabbrev fol following
- autocmd FileType tex iabbrev fpre finitely presented
- autocmd FileType tex iabbrev frg $\mathfrak{g}$
- autocmd FileType tex iabbrev frh $\mathfrak{h}$
- autocmd FileType tex iabbrev frob Frobenius
- autocmd FileType tex iabbrev frp $\mathfrak{p}$
- autocmd FileType tex iabbrev fs functors
- autocmd FileType tex iabbrev fsc formal scheme
- autocmd FileType tex iabbrev fscat full subcategory
- autocmd FileType tex iabbrev fscats full subcategories
- autocmd FileType tex iabbrev fsys factorisation system
- autocmd FileType tex iabbrev fsyss factorisation systems
- autocmd FileType tex iabbrev ft function
- autocmd FileType tex iabbrev fts functions
- autocmd FileType tex iabbrev fu functor
- autocmd FileType tex iabbrev fun functional
- autocmd FileType tex iabbrev fund fundamental
- autocmd FileType tex iabbrev funs functionals
- autocmd FileType tex iabbrev fuou $(\mathfrak{U},\SheafFont{O}_\mathfrak{U})$
- autocmd FileType tex iabbrev fus functors
- autocmd FileType tex iabbrev pfu pseudofunctor
- autocmd FileType tex iabbrev pfus pseudofunctors
- autocmd FileType tex iabbrev lfu lax functor
- autocmd FileType tex iabbrev lfus lax functors
- autocmd FileType tex iabbrev fuv $f\colon U\longrightarrow V$
- autocmd FileType tex iabbrev fvw $f\colon V\longrightarrow W$
- autocmd FileType tex iabbrev fxox $(\mathfrak{X},\SheafFont{O}_\mathfrak{X})$
- autocmd FileType tex iabbrev fxoxyoy $f\colon(X,\SheafFont{O}_X)\longrightarrow(Y,\SheafFont{O}_Y)$
- autocmd FileType tex iabbrev fxy $f\colon X\longrightarrow Y$
- autocmd FileType tex iabbrev fy functoriality
- autocmd FileType tex iabbrev fyoy $(\mathfrak{Y},\SheafFont{O}_\mathfrak{Y})$
- autocmd FileType tex iabbrev gbc $g\colon B\longrightarrow C$
- autocmd FileType tex iabbrev gby given by
- autocmd FileType tex iabbrev gd graded
- autocmd FileType tex iabbrev gen generator
- autocmd FileType tex iabbrev gens generators
- autocmd FileType tex iabbrev gop Grothendieck op-fibration
- autocmd FileType tex iabbrev gops Grothendieck op-fibrations
- autocmd FileType tex iabbrev gpt generic point
- autocmd FileType tex iabbrev gr group
- autocmd FileType tex iabbrev grpd groupoid
- autocmd FileType tex iabbrev grpds groupoids
- autocmd FileType tex iabbrev gs groups
- autocmd FileType tex iabbrev gsc group scheme
- autocmd FileType tex iabbrev gtor $\SheafFont{G}$-torsor
- autocmd FileType tex iabbrev gtors $\SheafFont{G}$-torsors
- autocmd FileType tex iabbrev gyz $g\colon Y\longrightarrow Z$
- autocmd FileType tex iabbrev hcat homotopy category
- autocmd FileType tex iabbrev hcl homotopy colimit
- autocmd FileType tex iabbrev hcls homotopy colimits
- autocmd FileType tex iabbrev hcn homotopy coherent nerve
- autocmd FileType tex iabbrev hcoh homotopy coherence
- autocmd FileType tex iabbrev hcoht homotopy coherent
- autocmd FileType tex iabbrev hft holomorphic function
- autocmd FileType tex iabbrev hfts holomorphic functions
- autocmd FileType tex iabbrev hg homotopy groups
- autocmd FileType tex iabbrev hgs homotopy groups
- autocmd FileType tex iabbrev hl homotopy limit
- autocmd FileType tex iabbrev hls homotopy limits
- autocmd FileType tex iabbrev hm homology
- autocmd FileType tex iabbrev hoc $\Ho(\CatFont{C})$
- autocmd FileType tex iabbrev holo holomorphic
- autocmd FileType tex iabbrev homeo homeomorphism
- autocmd FileType tex iabbrev homo homomorphism
- autocmd FileType tex iabbrev homos homomorphisms
- autocmd FileType tex iabbrev hout homotopy pushout
- autocmd FileType tex iabbrev houts homotopy pushouts
- autocmd FileType tex iabbrev hpshs homotopy pullbacks
- autocmd FileType tex iabbrev hpu homotopy pullback
- autocmd FileType tex iabbrev hs Hilbert space
- autocmd FileType tex iabbrev hss Hilbert spaces
- autocmd FileType tex iabbrev ht homotopy
- autocmd FileType tex iabbrev htc homotopic
- autocmd FileType tex iabbrev htcl homotopy class
- autocmd FileType tex iabbrev hti homotopy inverse
- autocmd FileType tex iabbrev hti homotopy inverse
- autocmd FileType tex iabbrev htis homotopy inverses
- autocmd FileType tex iabbrev hts homotopies
- autocmd FileType tex iabbrev hu Hurewicz
- autocmd FileType tex iabbrev i1cat $(\infty,1)$-category
- autocmd FileType tex iabbrev i1cats $(\infty,1)$-categories
- autocmd FileType tex iabbrev iT $\infty$-topos
- autocmd FileType tex iabbrev iTS $\infty$-topoi
- autocmd FileType tex iabbrev iTs $\infty$-topoi
- autocmd FileType tex iabbrev ic $\infty$-category
- autocmd FileType tex iabbrev icc $\infty$-category $\CatFont{C}$
- autocmd FileType tex iabbrev icc $\infty$-category $\CatFont{C}$
- autocmd FileType tex iabbrev icos $\infty$-cosmos
- autocmd FileType tex iabbrev icoss $\infty$-cosmoi
- autocmd FileType tex iabbrev ics $\infty$-categories
- autocmd FileType tex iabbrev id identity
- autocmd FileType tex iabbrev iff \textiff
- autocmd FileType tex iabbrev ifib isofibration
- autocmd FileType tex iabbrev ifibs isofibrations
- autocmd FileType tex iabbrev ifu $\infty$-functor
- autocmd FileType tex iabbrev ifus $\infty$-functors
- autocmd FileType tex iabbrev igrpd $\infty$-groupoid
- autocmd FileType tex iabbrev igrpds $\infty$-groupoids
- autocmd FileType tex iabbrev iii $i\in I$
- autocmd FileType tex iabbrev inc inclusion
- autocmd FileType tex iabbrev incs inclusions
- autocmd FileType tex iabbrev inj injective
- autocmd FileType tex iabbrev inv invariant
- autocmd FileType tex iabbrev invc invariance
- autocmd FileType tex iabbrev io $\infty$-operad
- autocmd FileType tex iabbrev ios $\infty$-operads
- autocmd FileType tex iabbrev irep irreducible representation
- autocmd FileType tex iabbrev ireps irreducible representations
- autocmd FileType tex iabbrev irr irreducible
- autocmd FileType tex iabbrev isc isomorphic
- autocmd FileType tex iabbrev iso isomorphism
- autocmd FileType tex iabbrev isos isomorphisms
- autocmd FileType tex iabbrev ith $i$th
- autocmd FileType tex iabbrev jac Jacobian
- autocmd FileType tex iabbrev jth $j$th
- autocmd FileType tex iabbrev kahler Kähler
- autocmd FileType tex iabbrev kalg $k$-algebra
- autocmd FileType tex iabbrev kalgs $k$-algebras
- autocmd FileType tex iabbrev kc \Kancomplex
- autocmd FileType tex iabbrev kcs \Kancomplexes
- autocmd FileType tex iabbrev Kc \KanComplex
- autocmd FileType tex iabbrev Kcs \KanComplexes
- autocmd FileType tex iabbrev ke Kan extension
- autocmd FileType tex iabbrev ker kernel
- autocmd FileType tex iabbrev kf Kan fibration
- autocmd FileType tex iabbrev kfs Kan fibrations
- autocmd FileType tex iabbrev kiz $k\in\Z$
- autocmd FileType tex iabbrev ksc $k$-scheme
- autocmd FileType tex iabbrev kscs $k$-schemes
- autocmd FileType tex iabbrev kt $K$-theory
- autocmd FileType tex iabbrev ktr $k$-truncated
- autocmd FileType tex iabbrev kunneth Künneth
- autocmd FileType tex iabbrev kvar $k$-variety
- autocmd FileType tex iabbrev kvars $k$-varieties
- autocmd FileType tex iabbrev la left adjoint
- autocmd FileType tex iabbrev lalg Lie algebra
- autocmd FileType tex iabbrev lardfs left and right derived functors
- autocmd FileType tex iabbrev las left adjoints
- autocmd FileType tex iabbrev lb line bundle
- autocmd FileType tex iabbrev lbs line bundles
- autocmd FileType tex iabbrev lc locally compact
- autocmd FileType tex iabbrev lccds light-cone coordinates
- autocmd FileType tex iabbrev lcs locally compact space
- autocmd FileType tex iabbrev lcss locally compact spaces
- autocmd FileType tex iabbrev lcsx locally compact space $X$
- autocmd FileType tex iabbrev lcts locally compact topological space
- autocmd FileType tex iabbrev lctss locally compact topological spaces
- autocmd FileType tex iabbrev lcz localization
- autocmd FileType tex iabbrev ldf left derived functor
- autocmd FileType tex iabbrev ldfs left derived functors
- autocmd FileType tex iabbrev le left
- autocmd FileType tex iabbrev les long exact sequence
- autocmd FileType tex iabbrev letabcat Let $\CatFont{A}$ be an abelian category.
- autocmd FileType tex iabbrev letacat Let $\CatFont{A}$ be an abelian category.
- autocmd FileType tex iabbrev letcat Let $\CatFont{C}$ be a category.
- autocmd FileType tex iabbrev letbicat Let $(\CatFont{C},\Unit^{\CatFont{C}},\circ_{\CatFont{C}},\alpha^{\CatFont{C}},\LUnitor^{\CatFont{C}},\RUnitor^{\CatFont{C}})$ be a bicategory.
- autocmd FileType tex iabbrev letmoncat Let $(\CatFont{C},\otimes_{\CatFont{C}},\alpha_{\CatFont{C}},\Unit_{\CatFont{C}},\LUnitor_{\CatFont{C}},\RUnitor_{\CatFont{C}})$ be a monoidal category.
- autocmd FileType tex iabbrev letbmoncat Let $(\CatFont{C},\otimes_{\CatFont{C}},\alpha_{\CatFont{C}},\Unit_{\CatFont{C}},\LUnitor_{\CatFont{C}},\RUnitor_{\CatFont{C}},\sigma_{\CatFont{C}})$ be a braided monoidal category.
- autocmd FileType tex iabbrev letsmoncat Let $(\CatFont{C},\otimes_{\CatFont{C}},\alpha_{\CatFont{C}},\Unit_{\CatFont{C}},\LUnitor_{\CatFont{C}},\RUnitor_{\CatFont{C}},\sigma_{\CatFont{C}})$ be a symmetric monoidal category.
- autocmd FileType tex iabbrev amoncat a monoidal category $(\CatFont{C},\otimes_{\CatFont{C}},\alpha_{\CatFont{C}},\Unit_{\CatFont{C}},\LUnitor_{\CatFont{C}},\RUnitor_{\CatFont{C}})$
- autocmd FileType tex iabbrev letpromoncat Let $(\CatFont{C},P,I,\LUnitor^{\CatFont{C}},\RUnitor^{\CatFont{C}},\alpha^{\CatFont{C}})$ be a promonoidal category.
- autocmd FileType tex iabbrev letfield Let $k$ be a field.
- autocmd FileType tex iabbrev letic Let $\CatFont{C}$ be an $\infty$-category.
- autocmd FileType tex iabbrev letkman Let $M$ be a Kähler manifold.
- autocmd FileType tex iabbrev letpic Let $\CatFont{C}$ be a presentable $\infty$-category.
- autocmd FileType tex iabbrev letqcat Let $\CatFont{C}$ be \qan \quasicategory.
- autocmd FileType tex iabbrev letqcats Let $\CatFont{C}$ and $\CatFont{D}$ be \quasicategories.
- autocmd FileType tex iabbrev letqvs Let $(V,Q)$ be a quadratic vector space over a field $k$.
- autocmd FileType tex iabbrev letring Let $R$ be a ring.
- autocmd FileType tex iabbrev letsic Let $\CatFont{C}$ be a stable $\infty$-category.
- autocmd FileType tex iabbrev letsis Let $S_\bullet\colon\SimplexCategory^\op\longrightarrow\Sets$ be a simplicial set.
- autocmd FileType tex iabbrev letsmn Let $(M,\omega)$ be a $2n$-dimensional symplectic manifold.
- autocmd FileType tex iabbrev lettop Let $X$ be a topological space.
- autocmd FileType tex iabbrev lfp locally of finite presentation
- autocmd FileType tex iabbrev lhi left homotopy inverse
- autocmd FileType tex iabbrev lhis left homotopy inverses
- autocmd FileType tex iabbrev li locally isomorphic
- autocmd FileType tex iabbrev liea Lie algebra
- autocmd FileType tex iabbrev lieas Lie algebras
- autocmd FileType tex iabbrev lieg Lie group
- autocmd FileType tex iabbrev lim limit
- autocmd FileType tex iabbrev lims limits
- autocmd FileType tex iabbrev lin linear
- autocmd FileType tex iabbrev lke left Kan extension
- autocmd FileType tex iabbrev llp left lifting property
- autocmd FileType tex iabbrev lnoe locally Noetherian
- autocmd FileType tex iabbrev lrs locally ringed space
- autocmd FileType tex iabbrev lrss locally ringed spaces
- autocmd FileType tex iabbrev lsmn Lagrangian submanifold
- autocmd FileType tex iabbrev lsrs locally super ringed space
- autocmd FileType tex iabbrev lsrss locally super ringed spaces
- autocmd FileType tex iabbrev ltrs locally topologically ringed space
- autocmd FileType tex iabbrev ltrss locally topologically ringed spaces
- autocmd FileType tex iabbrev m1tr $(-1)$-truncated
- autocmd FileType tex iabbrev m2tr $(-2)$-truncated
- autocmd FileType tex iabbrev mc monoidal category
- autocmd FileType tex iabbrev mct multiplicative cohomology theory
- autocmd FileType tex iabbrev mcts multiplicative cohomology theories
- autocmd FileType tex iabbrev mdc model category
- autocmd FileType tex iabbrev modi modification
- autocmd FileType tex iabbrev modis modifications
- autocmd FileType tex iabbrev mdcs model categories
- autocmd FileType tex iabbrev mer meromorphic
- autocmd FileType tex iabbrev mf modular form
- autocmd FileType tex iabbrev mfs modular forms
- autocmd FileType tex iabbrev mi maximal ideal
- autocmd FileType tex iabbrev mkt Morava $K$-theory
- autocmd FileType tex iabbrev mlcond Mittag--Leffler condition
- autocmd FileType tex iabbrev mm $M$
- autocmd FileType tex iabbrev mn manifold
- autocmd FileType tex iabbrev mns manifolds
- autocmd FileType tex iabbrev mobius Möbius
- autocmd FileType tex iabbrev mod module
- autocmd FileType tex iabbrev mods modules
- autocmd FileType tex iabbrev mom $(M,\SheafFont{O}_M)$
- autocmd FileType tex iabbrev mono monomorphism
- autocmd FileType tex iabbrev monos monomorphisms
- autocmd FileType tex iabbrev mor morphism
- autocmd FileType tex iabbrev mors morphisms
- autocmd FileType tex iabbrev ms model structure
- autocmd FileType tex iabbrev mss model structures
- autocmd FileType tex iabbrev n0 non-zero
- autocmd FileType tex iabbrev nab nonabelian
- autocmd FileType tex iabbrev naive naïve
- autocmd FileType tex iabbrev nar $n$-arrow
- autocmd FileType tex iabbrev nars $n$-arrows
- autocmd FileType tex iabbrev nat natural
- autocmd FileType tex iabbrev ncomm noncommutative
- autocmd FileType tex iabbrev ndim $n$-dimensional
- autocmd FileType tex iabbrev nei neighbourhood
- autocmd FileType tex iabbrev neis neighbourhoods
- autocmd FileType tex iabbrev nf $n$-form
- autocmd FileType tex iabbrev nfs $n$-forms
- autocmd FileType tex iabbrev nga Nambu-Goto action
- autocmd FileType tex iabbrev ngr $\N$-graded
- autocmd FileType tex iabbrev ngrad $\N$-gradation
- autocmd FileType tex iabbrev nht nullhomotopic
- autocmd FileType tex iabbrev ni natural isomorphism
- autocmd FileType tex iabbrev nin $n\in\N$
- autocmd FileType tex iabbrev nis natural isomorphisms
- autocmd FileType tex iabbrev nmn $n$-manifold
- autocmd FileType tex iabbrev nmns $n$-manifolds
- autocmd FileType tex iabbrev nmnwb $n$-manifold with boundary
- autocmd FileType tex iabbrev nmnwbs $n$-manifolds with boundary
- autocmd FileType tex iabbrev nmor $n$-morphism
- autocmd FileType tex iabbrev nmors $n$-morphisms
- autocmd FileType tex iabbrev nnomega $\nn{\Omega_U}{\MU}$
- autocmd FileType tex iabbrev nnomegapt $\nn{\Omega_U}{\MU}^*(\nn{P}{\pt})$
- autocmd FileType tex iabbrev noe Noetherian
- autocmd FileType tex iabbrev npgb numerable principal $G$-bundle
- autocmd FileType tex iabbrev npgbs numerable principal $G$-bundles
- autocmd FileType tex iabbrev nsim $n$-simplex
- autocmd FileType tex iabbrev nsims $n$-simplices
- autocmd FileType tex iabbrev nt natural transformation
- autocmd FileType tex iabbrev nth $n$th
- autocmd FileType tex iabbrev ntr $n$-truncated
- autocmd FileType tex iabbrev nts natural transformations
- autocmd FileType tex iabbrev ntuple $n$-tuple
- autocmd FileType tex iabbrev ntuples $n$-tuples
- autocmd FileType tex iabbrev nualg non-unital $R$-algebra
- autocmd FileType tex iabbrev nualgs non-unital $R$-algebras
- autocmd FileType tex iabbrev num numerable
- autocmd FileType tex iabbrev obj object
- autocmd FileType tex iabbrev objs objects
- autocmd FileType tex iabbrev oc open cover
- autocmd FileType tex iabbrev ocat opposite category
- autocmd FileType tex iabbrev ocats opposite categories
- autocmd FileType tex iabbrev ocmod $\SheafFont{O}_\CatFont{C}$-module
- autocmd FileType tex iabbrev ocmods $\SheafFont{O}_\CatFont{C}$-modules
- autocmd FileType tex iabbrev ofx $\SheafFont{O}_\mathfrak{X}$
- autocmd FileType tex iabbrev om $\SheafFont{O}_M$
- autocmd FileType tex iabbrev ommod $\SheafFont{O}_M$-module
- autocmd FileType tex iabbrev omod $\SheafFont{O}$-module
- autocmd FileType tex iabbrev ope operation
- autocmd FileType tex iabbrev opes operations
- autocmd FileType tex iabbrev osalg $\SheafFont{O}_S$-algebra
- autocmd FileType tex iabbrev osalgs $\SheafFont{O}_S$-algebras
- autocmd FileType tex iabbrev oumod $\SheafFont{O}_U$-module
- autocmd FileType tex iabbrev oumods $\SheafFont{O}_U$-modules
- autocmd FileType tex iabbrev ox $\SheafFont{O}_X$
- autocmd FileType tex iabbrev oxalg $\SheafFont{O}_X$-algebra
- autocmd FileType tex iabbrev oxalgs $\SheafFont{O}_X$-algebras
- autocmd FileType tex iabbrev oxmod $\SheafFont{O}_X$-module
- autocmd FileType tex iabbrev oxmods $\SheafFont{O}_X$-modules
- autocmd FileType tex iabbrev oxp $\SheafFont{O}_{X,p}$
- autocmd FileType tex iabbrev oy $\SheafFont{O}_Y$
- autocmd FileType tex iabbrev oymod $\SheafFont{O}_Y$-module
- autocmd FileType tex iabbrev oymods $\SheafFont{O}_Y$-modules
- autocmd FileType tex iabbrev oyp $\SheafFont{O}_{Y,p}$
- autocmd FileType tex iabbrev pb Poisson bracket
- autocmd FileType tex iabbrev pbr $p$-brane
- autocmd FileType tex iabbrev pbs Poisson brackets
- autocmd FileType tex iabbrev pccm $p$-coCartesian morphism
- autocmd FileType tex iabbrev pccms $p$-coCartesian morphisms
- autocmd FileType tex iabbrev pcon path-connected
- autocmd FileType tex iabbrev pcons path-connected space
- autocmd FileType tex iabbrev pconss path-connected spaces
- autocmd FileType tex iabbrev pd product
- autocmd FileType tex iabbrev pdiv prime divisor
- autocmd FileType tex iabbrev pds products
- autocmd FileType tex iabbrev perm permutation
- autocmd FileType tex iabbrev perms permutations
- autocmd FileType tex iabbrev pgb principal $G$-bundle
- autocmd FileType tex iabbrev pgbs principal $G$-bundles
- autocmd FileType tex iabbrev phiuv $\phi\colon U\longrightarrow V$
- autocmd FileType tex iabbrev pi prime ideal
- autocmd FileType tex iabbrev pic presentable $\infty$-category
- autocmd FileType tex iabbrev pic presentable $\infty$-category $\CatFont{C}$
- autocmd FileType tex iabbrev pics presentable $\infty$-categories
- autocmd FileType tex iabbrev pis prime ideals
- autocmd FileType tex iabbrev pix $p\in X$
- autocmd FileType tex iabbrev fepix for each $p\in X$
- autocmd FileType tex iabbrev plfcw $p$-local finite CW-complex
- autocmd FileType tex iabbrev ploc $p$-local
- autocmd FileType tex iabbrev pms projective model structure
- autocmd FileType tex iabbrev poa Polyakov action
- autocmd FileType tex iabbrev poincare Poincaré
- autocmd FileType tex iabbrev poisson Poisson
- autocmd FileType tex iabbrev pou partition of unity
- autocmd FileType tex iabbrev pous partitions of unity
- autocmd FileType tex iabbrev pov point of view
- autocmd FileType tex iabbrev ppt Postnikov pretower
- autocmd FileType tex iabbrev pr projection
- autocmd FileType tex iabbrev proj projective
- autocmd FileType tex iabbrev projs $\Proj(S_\bullet)$
- autocmd FileType tex iabbrev prs projections
- autocmd FileType tex iabbrev psc projective scheme
- autocmd FileType tex iabbrev pscs projective schemes
- autocmd FileType tex iabbrev psh presheaf
- autocmd FileType tex iabbrev pshs presheaves
- autocmd FileType tex iabbrev psis pointed simplicial set
- autocmd FileType tex iabbrev psiss pointed simplicial sets
- autocmd FileType tex iabbrev pt point
- autocmd FileType tex iabbrev ptd parametrised
- autocmd FileType tex iabbrev ptn parametrisation
- autocmd FileType tex iabbrev pts points
- autocmd FileType tex iabbrev pul pullback
- autocmd FileType tex iabbrev puls pullbacks
- autocmd FileType tex iabbrev push pushout
- autocmd FileType tex iabbrev pv projective variety
- autocmd FileType tex iabbrev pvs projective varieties
- autocmd FileType tex iabbrev pxy $\pi\colon X\longrightarrow Y$
- autocmd FileType tex iabbrev qc quasicompact
- autocmd FileType tex iabbrev qcat \quasicategory
- autocmd FileType tex iabbrev qcats \quasicategories
- autocmd FileType tex iabbrev qcoh quasicoherent sheaf
- autocmd FileType tex iabbrev qcohs quasicoherent sheaves
- autocmd FileType tex iabbrev qcs quasicoherent sheaf
- autocmd FileType tex iabbrev qcss quasicoherent sheaves
- autocmd FileType tex iabbrev qf quadratic form
- autocmd FileType tex iabbrev qfs quadratic forms
- autocmd FileType tex iabbrev qft quantum field theory
- autocmd FileType tex iabbrev qfts quantum field theories
- autocmd FileType tex iabbrev qiso quasi-isomorphism
- autocmd FileType tex iabbrev qisos quasi-isomorphisms
- autocmd FileType tex iabbrev qpv quasi-projective variety
- autocmd FileType tex iabbrev qpvs quasi-projective varieties
- autocmd FileType tex iabbrev qs quasiseparated
- autocmd FileType tex iabbrev quo quotient
- autocmd FileType tex iabbrev qvs quadratic vector space
- autocmd FileType tex iabbrev qvss quadratic vector spaces
- autocmd FileType tex iabbrev ra right adjoint
- autocmd FileType tex iabbrev ralg $R$-algebra
- autocmd FileType tex iabbrev ralgs $R$-algebras
- autocmd FileType tex iabbrev ras right adjoints
- autocmd FileType tex iabbrev rat rational
- autocmd FileType tex iabbrev rats rational space
- autocmd FileType tex iabbrev ratss rational spaces
- autocmd FileType tex iabbrev rcat Reedy category
- autocmd FileType tex iabbrev rcats Reedy categories
- autocmd FileType tex iabbrev rcoa $R$-coalgebra
- autocmd FileType tex iabbrev rcoas $R$-coalgebras
- autocmd FileType tex iabbrev rdf right derived functor
- autocmd FileType tex iabbrev rdfs right derived functors
- autocmd FileType tex iabbrev reedy Reedy
- autocmd FileType tex iabbrev rep representation
- autocmd FileType tex iabbrev rhe rational homotopy equivalence
- autocmd FileType tex iabbrev rhg rational homotopy group
- autocmd FileType tex iabbrev rhgs rational homotopy groups
- autocmd FileType tex iabbrev rhi right homotopy inverse
- autocmd FileType tex iabbrev rhis right homotopy inverses
- autocmd FileType tex iabbrev rht rational homotopy type
- autocmd FileType tex iabbrev rhts rational homotopy types
- autocmd FileType tex iabbrev ri right
- autocmd FileType tex iabbrev rke right Kan extension
- autocmd FileType tex iabbrev rlin $R$-linear
- autocmd FileType tex iabbrev rlp right lifting property
- autocmd FileType tex iabbrev rmap rational map
- autocmd FileType tex iabbrev rmn Riemannian manifold
- autocmd FileType tex iabbrev rmns Riemannian manifolds
- autocmd FileType tex iabbrev rmod $R$-module
- autocmd FileType tex iabbrev rmods $R$-modules
- autocmd FileType tex iabbrev rn $\R^n$
- autocmd FileType tex iabbrev rp $\R^p$
- autocmd FileType tex iabbrev rpq $\R^{p\|q}$
- autocmd FileType tex iabbrev rrlin $\R$-linear
- autocmd FileType tex iabbrev rs ringed space
- autocmd FileType tex iabbrev toen Töen
- autocmd FileType tex iabbrev rsfxoxyoy $f\colon(\CatFont{C},\SheafFont{O}_\CatFont{C})\longrightarrow(\CatFont{D},\SheafFont{O}_\CatFont{D})$
- autocmd FileType tex iabbrev rss ringed spaces
- autocmd FileType tex iabbrev rst restriction
- autocmd FileType tex iabbrev rtfxoxyoy $f\colon(\CatFont{X},\SheafFont{O}_\CatFont{X})\longrightarrow(\CatFont{Y},\SheafFont{O}_\CatFont{Y})$
- autocmd FileType tex iabbrev rval real-valued
- autocmd FileType tex iabbrev sa super algebra
- autocmd FileType tex iabbrev salg superalgebra
- autocmd FileType tex iabbrev salgs superalgebras
- autocmd FileType tex iabbrev sat satisfying
- autocmd FileType tex iabbrev sc scheme
- autocmd FileType tex iabbrev scat subcategory
- autocmd FileType tex iabbrev scats subcategories
- autocmd FileType tex iabbrev scd supercoordinate
- autocmd FileType tex iabbrev scds supercoordinates
- autocmd FileType tex iabbrev scom supercommutative
- autocmd FileType tex iabbrev scon simply-connected
- autocmd FileType tex iabbrev scons simply-connected space
- autocmd FileType tex iabbrev sconss simply-connected spaces
- autocmd FileType tex iabbrev scs schemes
- autocmd FileType tex iabbrev sder superderivation
- autocmd FileType tex iabbrev sders superderivations
- autocmd FileType tex iabbrev sdf super differential form
- autocmd FileType tex iabbrev sdfs super differential forms
- autocmd FileType tex iabbrev sdiff super differential
- autocmd FileType tex iabbrev sdms spectral Deligne--Mumford stack
- autocmd FileType tex iabbrev sdmss spectral Deligne--Mumford stacks
- autocmd FileType tex iabbrev sec section
- autocmd FileType tex iabbrev secs sections
- autocmd FileType tex iabbrev ses short exact sequence
- autocmd FileType tex iabbrev sess short exact sequences
- autocmd FileType tex iabbrev sfmn $f\colon\langle m\rangle\longrightarrow\langle n\rangle$
- autocmd FileType tex iabbrev sg supergroup
- autocmd FileType tex iabbrev sga $\sigma$-algebra
- autocmd FileType tex iabbrev sgas $\sigma$-algebras
- autocmd FileType tex iabbrev sh sheaf
- autocmd FileType tex iabbrev sha $\SheafFont{A}$
- autocmd FileType tex iabbrev shb $\SheafFont{B}$
- autocmd FileType tex iabbrev shc $\SheafFont{C}$
- autocmd FileType tex iabbrev shd $\SheafFont{D}$
- autocmd FileType tex iabbrev she $\SheafFont{E}$
- autocmd FileType tex iabbrev shf $\SheafFont{F}$
- autocmd FileType tex iabbrev shg $\SheafFont{G}$
- autocmd FileType tex iabbrev shh $\SheafFont{H}$
- autocmd FileType tex iabbrev shi $\SheafFont{I}$
- autocmd FileType tex iabbrev shj $\SheafFont{J}$
- autocmd FileType tex iabbrev shk $\SheafFont{K}$
- autocmd FileType tex iabbrev shl $\SheafFont{L}$
- autocmd FileType tex iabbrev shm $\SheafFont{M}$
- autocmd FileType tex iabbrev shn $\SheafFont{N}$
- autocmd FileType tex iabbrev sho $\SheafFont{O}$
- autocmd FileType tex iabbrev shp $\SheafFont{P}$
- autocmd FileType tex iabbrev shq $\SheafFont{Q}$
- autocmd FileType tex iabbrev shr $\SheafFont{R}$
- autocmd FileType tex iabbrev shs $\SheafFont{S}$
- autocmd FileType tex iabbrev shs sheaves
- autocmd FileType tex iabbrev sht $\SheafFont{T}$
- autocmd FileType tex iabbrev shtg stable homotopy groups
- autocmd FileType tex iabbrev shtgs stable homotopy groups
- autocmd FileType tex iabbrev shu $\SheafFont{U}$
- autocmd FileType tex iabbrev shv $\SheafFont{V}$
- autocmd FileType tex iabbrev shw $\SheafFont{W}$
- autocmd FileType tex iabbrev shx $\SheafFont{X}$
- autocmd FileType tex iabbrev shy $\SheafFont{Y}$
- autocmd FileType tex iabbrev shz $\SheafFont{Z}$
- autocmd FileType tex iabbrev si simplicial
- autocmd FileType tex iabbrev sic stable $\infty$-category
- autocmd FileType tex iabbrev sicat simplicial category
- autocmd FileType tex iabbrev sicats simplicial categories
- autocmd FileType tex iabbrev sics stable $\infty$-categories
- autocmd FileType tex iabbrev sierpinski Sierpínski
- autocmd FileType tex iabbrev sim simplex
- autocmd FileType tex iabbrev sims simplices
- autocmd FileType tex iabbrev sis simplicial set
- autocmd FileType tex iabbrev siss simplicial sets
- autocmd FileType tex iabbrev sio simplicial object
- autocmd FileType tex iabbrev sios simplicial objects
- autocmd FileType tex iabbrev smc symmetric monoidal category
- autocmd FileType tex iabbrev smcs symmetric monoidal categories
- autocmd FileType tex iabbrev smmn smooth manifold
- autocmd FileType tex iabbrev smn supermanifold
- autocmd FileType tex iabbrev smns supermanifolds
- autocmd FileType tex iabbrev smod supermodule
- autocmd FileType tex iabbrev smods supermodules
- autocmd FileType tex iabbrev lnc lax naturality constraint
- autocmd FileType tex iabbrev lncs lax naturality constraints
- autocmd FileType tex iabbrev snb stable normal bundle
- autocmd FileType tex iabbrev sner simplicial nerve
- autocmd FileType tex iabbrev sos sheaf of sections
- autocmd FileType tex iabbrev sp spectrum
- autocmd FileType tex iabbrev spa spectra
- autocmd FileType tex iabbrev specr $\Spec(R)$
- autocmd FileType tex iabbrev specrospecr $(\Spec(R),\SheafFont{O}_{\Spec(R)})$
- autocmd FileType tex iabbrev spfrospfr $(\Spf(R),\SheafFont{O}_{\Spf(R)})$
- autocmd FileType tex iabbrev spoint $S$-point
- autocmd FileType tex iabbrev spt $S$-point
- autocmd FileType tex iabbrev spts $S$-points
- autocmd FileType tex iabbrev sq square
- autocmd FileType tex iabbrev sqs squares
- autocmd FileType tex iabbrev sring superring
- autocmd FileType tex iabbrev srings superrings
- autocmd FileType tex iabbrev OTOH On the other hand
- autocmd FileType tex iabbrev Otoh On the other hand
- autocmd FileType tex iabbrev otoh On the other hand
- autocmd FileType tex iabbrev srs super ringed space
- autocmd FileType tex iabbrev srss super ringed spaces
- autocmd FileType tex iabbrev ss space
- autocmd FileType tex iabbrev ssc subscheme
- autocmd FileType tex iabbrev sscs subschemes
- autocmd FileType tex iabbrev ssma string sigma model action
- autocmd FileType tex iabbrev sss spaces
- autocmd FileType tex iabbrev muls multiplicative subset
- autocmd FileType tex iabbrev st such that
- autocmd FileType tex iabbrev stara $*$-algebra
- autocmd FileType tex iabbrev staro $*$-operation
- autocmd FileType tex iabbrev starr $*$-ring
- autocmd FileType tex iabbrev stfc satisfying the following conditions:
- autocmd FileType tex iabbrev TA Tate algebra
- autocmd FileType tex iabbrev TAs Tate algebras
- autocmd FileType tex iabbrev TAS Tate algebras
- autocmd FileType tex iabbrev tn $\TateAlgebra{n}$
- autocmd FileType tex iabbrev stfec satisfying the following equivalent conditions:
- autocmd FileType tex iabbrev str structure
- autocmd FileType tex iabbrev strm structure morphism
- autocmd FileType tex iabbrev strs structures
- autocmd FileType tex iabbrev su super
- autocmd FileType tex iabbrev submn submanifold
- autocmd FileType tex iabbrev submns submanifolds
- autocmd FileType tex iabbrev sugra supergravity
- autocmd FileType tex iabbrev sup support
- autocmd FileType tex iabbrev surj surjective
- autocmd FileType tex iabbrev susc supersymmetric
- autocmd FileType tex iabbrev susy supersymmetry
- autocmd FileType tex iabbrev svs super vector space
- autocmd FileType tex iabbrev svss super vector spaces
- autocmd FileType tex iabbrev sws string world-sheet
- autocmd FileType tex iabbrev sym symplectic
- autocmd FileType tex iabbrev symn symplectic manifold
- autocmd FileType tex iabbrev symns symplectic manifolds
- autocmd FileType tex iabbrev symor symplectomorphism
- autocmd FileType tex iabbrev symors symplectomorphisms
- autocmd FileType tex iabbrev syvs symplectic vector space
- autocmd FileType tex iabbrev ta there are
- autocmd FileType tex iabbrev tb tangent bundle
- autocmd FileType tex iabbrev tbs tangent bundles
- autocmd FileType tex iabbrev tcof trivial cofibration
- autocmd FileType tex iabbrev tcofs trivial cofibrations
- autocmd FileType tex iabbrev te there exists
- autocmd FileType tex iabbrev tfcas the following conditions are satisfied:
- autocmd FileType tex iabbrev tfib trivial fibration
- autocmd FileType tex iabbrev tfibs trivial fibrations
- autocmd FileType tex iabbrev tfsat The following statements are true:
- autocmd FileType tex iabbrev ths Thom space
- autocmd FileType tex iabbrev thsp Thom spectrum
- autocmd FileType tex iabbrev thspa Thom spectra
- autocmd FileType tex iabbrev ti there is
- autocmd FileType tex iabbrev tkf trivial Kan fibration
- autocmd FileType tex iabbrev pdstr PD-structure
- autocmd FileType tex iabbrev pdstrs PD-structures
- autocmd FileType tex iabbrev tkfs trivial Kan fibrations
- autocmd FileType tex iabbrev tmf topological modular forms
- autocmd FileType tex iabbrev top $\Top$
- autocmd FileType tex iabbrev tp topology
- autocmd FileType tex iabbrev tqft topological quantum field theory
- autocmd FileType tex iabbrev tqfts topological quantum field theories
- autocmd FileType tex iabbrev tri trivial
- autocmd FileType tex iabbrev trl translation
- autocmd FileType tex iabbrev trls translations
- autocmd FileType tex iabbrev tr transformation
- autocmd FileType tex iabbrev trs transformations
- autocmd FileType tex iabbrev ts topological space
- autocmd FileType tex iabbrev tsp Thom spectrum
- autocmd FileType tex iabbrev tspa Thom spectra
- autocmd FileType tex iabbrev tsps Thom spectra
- autocmd FileType tex iabbrev kahlersr $\KahlerDifferentials{S}{R}$
- autocmd FileType tex iabbrev tss topological spaces
- autocmd FileType tex iabbrev tst t-structure
- autocmd FileType tex iabbrev tsts t-structures
- autocmd FileType tex iabbrev tsx topological space $X$
- autocmd FileType tex iabbrev ttfcae then the following conditions are equivalent:
- autocmd FileType tex iabbrev benabou Bénabou
- autocmd FileType tex iabbrev tw together with
- autocmd FileType tex iabbrev ucat $\CatFont{U}$-category
- autocmd FileType tex iabbrev uea universal enveloping algebra
- autocmd FileType tex iabbrev Feaioc For each $A\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev Feabioc For each $A,B\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev Feabcioc For each $A,B,C\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev feaioc for each $A\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev feabioc for each $A,B\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev feabcioc for each $A,B,C\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev aioc $A\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev abioc $A,B\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev abcioc $A,B,C\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev uioc $U\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev xioc $X\in\Obj(\CatFont{C})$
- autocmd FileType tex iabbrev uni universal
- autocmd FileType tex iabbrev uou $(U,\SheafFont{O}_U)$
- autocmd FileType tex iabbrev sb $S_{\bullet}$
- autocmd FileType tex iabbrev sbu $S^{\bullet}$
- autocmd FileType tex iabbrev upcht up to coherent homotopy
- autocmd FileType tex iabbrev upcn up to a contractible space of choices
- autocmd FileType tex iabbrev upeq up to equivalence
- autocmd FileType tex iabbrev upht up to homotopy
- autocmd FileType tex iabbrev usmall $\CatFont{U}$-small
- autocmd FileType tex iabbrev uuti unique up to isomorphism
- autocmd FileType tex iabbrev uutui unique up to unique isomorphism
- autocmd FileType tex iabbrev vb vector bundle
- autocmd FileType tex iabbrev vbs vector bundles
- autocmd FileType tex iabbrev vec vector
- autocmd FileType tex iabbrev vecs vectors
- autocmd FileType tex iabbrev vf vector field
- autocmd FileType tex iabbrev vfs vector fields
- autocmd FileType tex iabbrev vs vector space
- autocmd FileType tex iabbrev vss vector spaces
- autocmd FileType tex iabbrev wd well-defined
- autocmd FileType tex iabbrev wfs weak factorisation system
- autocmd FileType tex iabbrev wfss weak factorisation systems
- autocmd FileType tex iabbrev wi with
- autocmd FileType tex iabbrev wlg without loss of generality
- autocmd FileType tex iabbrev wpd wedge product
- autocmd FileType tex iabbrev wrt with respect to
- autocmd FileType tex iabbrev ws world-sheet
- autocmd FileType tex iabbrev dieudonne Dieudonné
- autocmd FileType tex iabbrev wv world-volume
- autocmd FileType tex iabbrev xox $(X,\SheafFont{O}_X)$
- autocmd FileType tex iabbrev xx $X$
- autocmd FileType tex iabbrev yoe Yoneda embedding
- autocmd FileType tex iabbrev yol Yoneda lemma
- autocmd FileType tex iabbrev yoy $(Y,\SheafFont{O}_Y)$
- autocmd FileType tex iabbrev yy $Y$
- autocmd FileType tex iabbrev zlin $\Z$-linear
- autocmd FileType tex iabbrev zt Zariski topology
- autocmd FileType tex iabbrev zz $Z$
- " Multiline abbreviations
- autocmd FileType tex iabbrev stfup satisfying the following universal property:
- \<CR>
- \<CR>\UP
- " Macros
- imap <silent><expr> j, MyFunc('j,', '\cdots')
- imap <silent><expr> j. MyFunc('j.', ',\ldots,')
- imap <silent><expr> j= MyFunc('j=', '\cong')
- imap <silent><expr> j0 MyFunc('j0', '\circ')
- imap <silent><expr> j1 MyFunc('j1', '^{-1}')
- imap <silent><expr> j2 MyFunc('j2', '\sqrt{}')
- imap <silent><expr> j3 MyFunc('j3', '^\flat')
- imap <silent><expr> j4 MyFunc('j4', '\prime')
- imap <silent><expr> j5 MyFunc('j5', '(-1)^{}')
- imap <silent><expr> j6 MyFunc('j6', '\partial')
- imap <silent><expr> j7 MyFunc('j7', '\cap')
- imap <silent><expr> j8 MyFunc('j8', '\iota')
- imap <silent><expr> ja MyFunc('ja', '\alpha')
- imap <silent><expr> jb MyFunc('jb', '\beta')
- imap <silent><expr> jc MyFunc('jc', '\colon')
- imap <silent><expr> jd MyFunc('jd', '\delta')
- "imap <silent><expr> je MyFunc('je', '\varepsilon')
- imap <silent><expr> jf MyFunc('jf', '\frac{}<C-j>{<++>}<++><Esc>10hi')
- imap <silent><expr> jg MyFunc('jg', '\gamma')
- "--------------------------------------------
- imap <silent><expr> ji MyFunc('ji', '\infty')
- "--------------------------------------------
- imap <silent><expr> jk MyFunc('jk', '\k[x_1,\ldots,x_n]')
- imap <silent><expr> jl MyFunc('jl', '\longleftarrow')
- imap <silent><expr> jm MyFunc('jm', '\mapsto')
- imap <silent><expr> jn MyFunc('jn', '\nu')
- imap <silent><expr> jo MyFunc('jo', '\omega')
- imap <silent><expr> jp MyFunc('jp', '\pi')
- imap <silent><expr> jq MyFunc('jq', '\theta')
- imap <silent><expr> jr MyFunc('jr', '\longrightarrow')
- imap <silent><expr> js MyFunc('js', '\subset')
- imap <silent><expr> jt MyFunc('jt', '\times')
- "imap <silent><expr> ju MyFunc('ju', '\\middle|\')
- imap <silent><expr> jv MyFunc('jv', '\varsigma')
- imap <silent><expr> jw MyFunc('jw', '\wedge')
- imap <silent><expr> jx MyFunc('jx', '\cup')
- imap <silent><expr> jy MyFunc('jy', '\psi')
- imap <silent><expr> jz MyFunc('jz', '\zeta')
- imap <silent><expr> jA MyFunc('jA', '\alpha')
- imap <silent><expr> jB MyFunc('jB', '\beta')
- imap <silent><expr> jC MyFunc('jC', '\sqcup')
- imap <silent><expr> jD MyFunc('jD', '\delta')
- imap <silent><expr> jE MyFunc('jE', '\varepsilon')
- imap <silent><expr> jF MyFunc('jF', '\frac{}<C-j><++><Esc>5hi')
- imap <silent><expr> jG MyFunc('jG', '\gamma')
- "--------------------------------------------
- imap <silent><expr> jI MyFunc('jI', '\infty')
- "--------------------------------------------
- imap <silent><expr> jK MyFunc('jK', '\k[x_1,\ldots,x_n]')
- imap <silent><expr> jL MyFunc('jL', '\lambda')
- imap <silent><expr> jM MyFunc('jM', '\mapsto')
- imap <silent><expr> jN MyFunc('jN', '\nu')
- imap <silent><expr> jO MyFunc('jO', '\bigoplus__<Esc>2li^^<++><Esc>2l4x8hi')
- imap <silent><expr> jP MyFunc('jP', '\Pi')
- imap <silent><expr> jQ MyFunc('jQ', '\theta')
- imap <silent><expr> jR MyFunc('jR', '\longrightarrow')
- imap <silent><expr> jS MyFunc('jS', '\Sigma')
- imap <silent><expr> jT MyFunc('jT', '\times')
- imap <silent><expr> jU MyFunc('jU', '')
- imap <silent><expr> jV MyFunc('jV', '\varsigma')
- imap <silent><expr> jW MyFunc('jW', '\wedge')
- imap <silent><expr> jX MyFunc('jX', '\cup')
- imap <silent><expr> jY MyFunc('jY', '\psi')
- imap <silent><expr> jZ MyFunc('jZ', '\zeta')
- imap <silent><expr> jha MyFunc('jha', '\sSets')
- imap <silent><expr> jhb MyFunc('jhb', '\bullet')
- imap <silent><expr> jhc MyFunc('jhc', '\coprod__<Esc>2li^^<++><Esc>2l4x8hi')
- imap <silent><expr> jhd MyFunc('jhd', '\SimplexCategory^\op')
- imap <silent><expr> jhe MyFunc('jhe', '\emptyset')
- imap jhf \begin{proposition}{<++>}{<++>}%<CR><CR>\end{proposition}<CR>\begin{Proof}{Proof of \cref{<++>}}%<CR><++><CR>\end{Proof}<CR><++><Esc>5kA<Tab><++><Esc>k<C-j>
- "<Esc>2jV2jd2kpV2j>kA
- imap jhfd \begin{proposition}{}<C-j>{}<C-j>%<CR><CR>\end{proposition}<CR>\begin{Proof}<C-j>%}<CR>\Dio<CR>\end{Proof}<CR><++><Esc>5kA<Tab><Esc>2jV2jd2kpV2j>kA
- imap <silent><expr> jhg MyFunc('jhg', '\Gamma')
- "----------------------------------------------
- imap <silent><expr> jhi MyFunc('jhi', '\int__<Esc>2li^^<++><Esc>2l4x8hi')
- "----------------------------------------------
- imap <silent><expr> jhk MyFunc('jhk', '\k[x_1,\ldots,x_n]')
- imap <silent><expr> jhl MyFunc('jhl', '\Lambda')
- imap <silent><expr> jhm MyFunc('jhm', '\sum__<Esc>2li^^<++><Esc>2l4x8hi')
- imap jhn \begin{Proof}{Proof of \cref{<++>}}%<CR><++><CR>\end{Proof}<CR><++><Esc>3k<C-j>
- imap jhnd \begin{Proof}{}%<C-j>%<CR>\Dio<CR>\end{Proof}<CR>
- imap <silent><expr> jho MyFunc('jho', '\Omega')
- imap <silent><expr> jhp MyFunc('jhp', '\prod__<Esc>2li^^<++><Esc>2l4x8hi')
- imap <silent><expr> jhq MyFunc('jhq', '\oplus')
- imap <silent><expr> jhr MyFunc('jhr', '\Longrightarrow')
- imap <silent><expr> jlr MyFunc('jhr', '\longrightarrow')
- imap <silent><expr> jhs MyFunc('jhs', '\setminus')
- imap <silent><expr> jht MyFunc('jht', '\otimes')
- imap jhu \begin{theorem}{<++>}{<++>}%<CR><CR>\end{theorem}<CR>\begin{Proof}{Proof of \cref{<++>}}%<CR><++><CR>\end{Proof}<CR><++><Esc>5kA<Tab><++><Esc>k<C-j>
- imap jhud \begin{theorem}{}<C-j>{}<C-j>%<CR><CR>\end{theorem}<CR>\begin{Proof}<C-j>%}<CR>\Dio<CR>\end{Proof}<CR><++><Esc>5kA<Tab><Esc>2jV2jd2kpV2j>kA
- imap <silent><expr> jhv MyFunc('jhv', '\vee')
- imap jhw \begin{definition}{}<C-j>{}<C-j>%<CR><CR>\end{definition}<CR><++><Esc>kki<Tab>
- imap <silent><expr> jhx MyFunc('jhx', '\xlongrightarrow{}')
- imap jhy \begin{corollary}{}<C-j>{}<C-j>%<CR><CR>\end{corollary}<CR><++><Esc>kki<Tab>
- imap jhjf %<CR>%--- Begin Footnote ---%<CR>\footnote{%<CR><++><CR>}<++>%<CR>%--- End Footnote ---%<CR><++><Esc>4k^<C-j>
- imap <silent><expr> jhz MyFunc('jhz', '\Sets')
- imap <silent><expr> jhja MyFunc('jhja', '\restriction{}<C-j>{<++>}<++><Esc>10hi')
- imap <silent><expr> jhjb MyFunc('jhjb', '\mathbold{}')
- imap jhjq \begin{diagram*}<CR>\begin{tikzcd}[row sep=2.7em, column sep=2.7em, background color=backgroundColor]<CR><CR>\end{tikzcd}<CR>\end{diagram*}%<CR><++><Esc>kkkA<Tab><Tab><Tab>
- imap jhjqa \begin{diagram*}<CR>\begin{tikzcd}[row sep=2.7em, column sep=2.7em, background color=backgroundColor, ampersand replacement=\&]<CR><CR>\end{tikzcd}<CR>\end{diagram*}%<CR><++><Esc>kkkA<Tab><Tab><Tab><Tab><Tab>
- imap jadj \begin{center}<CR>$(F\dashv G)\colon$<CR>\begin{tikzcd}[row sep={4.5em,between origins}, column sep={4.5em,between origins}, background color=backgroundColor]<CR>\CatFont{C}<CR>\arrow[r, "F"{name=F}, bend left=25] &<CR>\CatFont{D}<CR>\arrow[l, "G"{name=G}, bend left=25]<CR>%--- Adjunction Symbol<CR>\arrow[phantom, from=F, to=G, "\dashv" rotate=-90]<CR>\end{tikzcd}<CR>\end{center}%<CR><++><Esc>10k^2la
- imap jft \begin{diagram*}<CR>\begin{tikzcd}[row sep=0.0em, column sep=2.7em, background color=backgroundColor, ampersand replacement=\&]<CR>\mathllap{<++>}<++><CR>\arrow[r]<CR>\&<CR><++><CR>\\<CR><++><CR>\arrow[r, mapsto]<CR>\&<CR><++><CR>\end{tikzcd}<CR>\end{diagram*}%<CR><++><Esc>12k<C-j>
- imap <silent><expr> jhjr MyFunc('jhjr', '\longrightarrow')
- "imap <silent><expr> jhjn MyFunc('jhjn', '\nabla')
- imap jhjn \begin{notation}{}%<C-j>{}<C-j><CR><CR>\end{notation}<CR><++><Esc>kki<Tab>We write
- imap <silent><expr> jhjt MyFunc('jhjt', '\widetilde{}')
- imap <silent><expr> jhjw MyFunc('jhjw', '\widehat{}')
- imap <silent><expr> jhjv MyFunc('jhjv', '\widebar{}')
- imap <silent><expr> jhjx MyFunc('jhjx', '\xlongrightarrow{}')
- imap <silent><expr> jhjca MyFunc('jhjca', '\CatFont{A}')
- imap <silent><expr> jhjcb MyFunc('jhjca', '\CatFont{B}')
- imap <silent><expr> jhjcc MyFunc('jhjcc', '\CatFont{C}')
- imap <silent><expr> jhjcv MyFunc('jhjcv', '\CatFont{V}')
- " ` Macros
- imap `i \index[]<C-j>{<++>}<++><Esc>10hi
- imap `if \index[]<C-j>{<++>}\textbf{<++>}<++><Esc>23hi
- imap `[ \[\]<Esc>hi
- imap `u \ \middle\|\
- function! MyFunc(lhs, rhs) abort
- return s:is_math() ? a:rhs : a:lhs
- endfunction
- function! s:is_math() abort
- return match(map(synstack(line('.'), max([col('.') - 1, 1])),
- \ 'synIDattr(v:val, ''name'')'), '^texMathZone[A-Z]S\?$') >= 0
- endfunction
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement