diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/savesym.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/savesym.tlpsrc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/savesym.tlpsrc b/Master/tlpkg/tlpsrc/savesym.tlpsrc new file mode 100644 index 00000000000..a444dd652ea --- /dev/null +++ b/Master/tlpkg/tlpsrc/savesym.tlpsrc @@ -0,0 +1,11 @@ +name savesym +category Package +shortdesc Redefine symbols where names conflict. +longdesc There are a number of symbols (e.g., \Square) that are defined by +longdesc multiple packages. In order to typeset all the variants in a +longdesc document, we have to give the glyph a unique name. To do that, we +longdesc define \savesymbol{XXX}, which renames a symbol from \XXX to +longdesc \origXXX, and \restoresymbols{yyy}{XXX}, which renames \origXXX +longdesc back to \XXX and defines a new command, \yyyXXX, which corresponds +longdesc to the most recently loaded version of \XXX. [description copied +longdesc from TeX Catalogue] |