\urcorner and \ulcorner

[cdstanford]

Hello,

I noticed that detexify doesn't give good suggestions for "Quine quotes" (http://tex.stackexchange.com/questions/109390/typesetting-quine-quotes). Specifically, it doesn't have \urcorner and \ulcorner, which are defined in package amssymb, in the database.

The other suggestions listed are not great, as they are symbols rather than delimeters so don't scale up to fit the text inside. Also, the top option (from package tipa) appears to mess up spacing in the entire document.

I just thought I'd drop a line since the symbol didn't appear, and these quotes are used quite commonly. And thanks for all the time detexify has saved me!

Caleb