%%% Unicode to TeX mapping, file uni-35.def, U+2300..U+23FF, autogenerated by makeunidef.pl \ifx\ProvidesFile\undefined\else \ProvidesFile{uni-35.def}[2022/08/07 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{8992}{postscript}{\Pisymbol{psy}{"F3}}% \uc@dclc{8993}{postscript}{\Pisymbol{psy}{"F5}}% \uc@dclc{9001}{postscript}{\Pisymbol{psy}{"E1}}% \uc@dclc{9002}{postscript}{\Pisymbol{psy}{"F1}}% %%% Local Variables: %%% mode: latex %%% coding: utf-8 %%% End: