library (public-identifier system-identifier)+

The library declaration in OmniMark is used to map the public identifier of an external text entity to a system identifier (system file name containing replacement text). In the library declaration, the public-identifiers and the system-identifiers are quoted strings.

There can be any number of library declarations in a program, but each public-identifier should have only one definition.

Note that library declarations can be put into a separate file, external to the main program, that can be referenced using the "-library" command line option. Entries in the library file always take precedence over those in the OmniMark program.