texvc currently does not recognize the AMSLaTeX symbols \ulcorner, \urcorner,
\llcorner, and \lrcorner. Support for at least the first two of these would make
life much easier in articles on mathematical logic.
Version: unspecified
Severity: enhancement
OS: Linux
Platform: PC