\(\varphi\) \varphi \(\ne\) \ne \(\lfloor \rfloor\) \lfloor \rfloor \(\lceil \rceil\) \lceil \rceil
\varphi
\ne
\lfloor \rfloor
\lceil \rceil