%%% Unicode to TeX mapping, file uni-35.def, U+2300..U+23FF, autogenerated by makeunidef.pl
\ifx\ProvidesFile\undefined\else
\ProvidesFile{uni-35.def}[2002/07/04 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: