4.13 AMS function names and newcommand

Extra function names and using newcommand: $\varlimsup $, $\varliminf $, $\varinjlim $, $\varprojlim $, $\mathrm{boo}_{n \in N}$