Name of the mapping.
The parser for the environments.
The JSON representation of the macro map.
Optionally a collection of parse functions for the single macros. Kept for backward compatibility.
The default parsing method.
The default parsing method.
Sets mapping for a token.
The token to map.
The tokens value in the mapping's codomain.
Removes a token from the map
The token to remove
Maps macros for environments. It has a general parsing method for environments, i.e., one that deals with begin/end, and each environment has its own parsing method returning the content.