\"\"

\

The interval notation is \"\".