Last modified: 2006-10-09 13:12:42 UTC

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 6721 - missing symbols
missing symbols
Product: MediaWiki extensions
Classification: Unclassified
Math (Other open bugs)
PC Linux
: Normal enhancement (vote)
: ---
Assigned To: Nobody - You can work on this!
Depends on:
  Show dependency treegraph
Reported: 2006-07-17 16:19 UTC by Emil Jerabek
Modified: 2006-10-09 13:12 UTC (History)
0 users

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---

testcase (61 bytes, text/plain)
2006-07-17 16:24 UTC, Emil Jerabek

Description Emil Jerabek 2006-07-17 16:19:39 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.
Comment 1 Emil Jerabek 2006-07-17 16:24:16 UTC
Created attachment 2115 [details]
Comment 2 Hugo Ideler 2006-08-19 12:21:39 UTC
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 .

Comment 3 JeLuF 2006-10-09 13:12:42 UTC
Committed revision 16890.

Note You need to log in before you can comment on or make changes to this bug.