Last modified: 2006-10-09 13:12:42 UTC
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.
Created attachment 2115 [details]
I was about to make a new bug, but I think I can better add my request here.
I would like some support for \twoheadrightarrow and \twoheadleftarrow. It makes
my life easier in http://en.wikipedia.org/wiki/Multivalued_dependency .
Committed revision 16890.