missing symbols
Closed, ResolvedPublic
Actions

Assigned To

None

Authored By

	EmilJ
	Jul 17 2006, 4:19 PM

Description

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

Details

Reference: bz6721

Event Timeline

• bzimport raised the priority of this task from to Medium.Nov 21 2014, 9:16 PM

• bzimport added a project: Math.

• bzimport set Reference to bz6721.

• bzimport added a subscriber: Unknown Object (MLST).

EmilJ created this task.Jul 17 2006, 4:19 PM

Created attachment 2115
testcase

Attached:

test61 BDownload

hugoideler wrote:

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

jeluf wrote:

Committed revision 16890.

	F2897: test
	Nov 21 2014, 9:16 PM

missing symbolsClosed, ResolvedPublicActions

Description

Details

Event Timeline

missing symbols
Closed, ResolvedPublic
Actions