Delimiters

$\ulcorner$ $\llcorner$
$\urcorner$ $\lrcorner$