%%% Unicode to TeX mapping, file uni-35.def, U+2300..U+23FF, autogenerated by makeunidef.pl \ifx\ProvidesFile\undefined\else \ProvidesFile{uni-35.def}[2003/05/06 UCS: Unicode data U+2300..U+23FF]% \fi \uc@dclc{8968}{default}{\ensuremath{\lceil}}% \uc@dclc{8969}{default}{\ensuremath{\rceil}}% \uc@dclc{8970}{default}{\ensuremath{\lfloor}}% \uc@dclc{8971}{default}{\ensuremath{\rfloor}}% \uc@dclc{9001}{autogenerated}{\unichar{12296}}% \uc@dclc{9002}{autogenerated}{\unichar{12297}}% %%% Local Variables: %%% mode: latex %%% coding: utf-8 %%% End: