Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T8721, the corresponding Phabricator task for complete and up-to-date bug report information.

Bug 6721 - missing symbols

Summary:	missing symbols

Status: RESOLVED FIXED Product: MediaWiki extensions Classification: Unclassified Component: Math (Other open bugs) Version: unspecified Hardware: PC Linux Importance: Normal enhancement (vote) Target Milestone: --- Assigned To: Nobody - You can work on this! URL: Whiteboard: Keywords: Depends on: Blocks:   Show dependency tree / graph		Reported: 2006-07-17 16:19 UTC by Emil Jerabek Modified: 2006-10-09 13:12 UTC (History) CC List: 0 users See Also: Web browser: --- Mobile Platform: --- Assignee Huggle Beta Tester: ---

Attachments testcase (61 bytes, text/plain) 2006-07-17 16:24 UTC, Emil Jerabek Details Add an attachment (proposed patch, testcase, etc.)

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] testcase 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 http://en.wikipedia.org/wiki/Multivalued_dependency . Thanks Comment 3 JeLuF 2006-10-09 13:12:42 UTC Committed revision 16890.