Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence.
powered by
Select sections of text to find additional relevant content using AI-assisted search.
powered by
Abstract
A package mathsem for pdf-
implements a way to provide semantic meaning to symbols, without adding a large syntactical burden to the specification of a mathematical expression. It uses a concept of ‘active comment’, allowing the ‘%’ character at the beginning of a new line to become an active token under highly-controlled circumstances. With a strictly defined syntax, words to express the semantic meaning of a variable (‘x’ say) can be associated with each occurrence of ‘x’ in the expression following. The words become content of a tooltip, that ‘pops-up’ by the symbol in a PDF document. The idea extends to:
1.
allow multiple instances of the same symbol have distinct meanings;
2.
attach semantics to macro-names as well as character symbols;
3.
allow nested tooltip rectangles, for sub-expressions;
4.
assign defaults to be attached to symbols and macros, at either global or local levels, to maintain consistency of meaning within extended portions of a document.
×
It is planned to use the same syntactical constructions to provide words for spoken ‘alternative text’, in the context of fully-tagged, accessible, mathematical content within PDF documents
Thanks to Michael Kohlhase for ideas suggesting such a package.
for Scientific Publications. In: Franconi, Enrico, Kifer, Michael, May, Wolfgang (eds.) ESWC 2007. LNCS, vol. 4519, pp. 518–532. Springer, Heidelberg (2007)
as a Semantic Markup Format, Mathematics in Computer Science (2:2), pp. 279–304. Birkhäuser (2008). 
: Semantic Markup in 
. Documentation of the 
packages. 
package; available from CTAN; version 2.3a, September 2012
. Addison Wesley (1984, 1986 and later revisions)
, Muni Press, 2009. Reprinted as: TUGboat, Vol. 30, No. 2, pp. 170–175 (2009)