374325f632
There are a number of symbols (e.g., \Square) that are defined
by several packages. In order to typeset all the variants in a
document, we have to give the glyph a unique name. To do that,
we define \savesymbol{XXX}, which renames a symbol from \XXX to
\origXXX, and \restoresymbols{yyy}{XXX}, which renames \origXXX
back to \XXX and defines a new command, \yyyXXX, which
corresponds to the most recently loaded version of \XXX.
6 lines
407 B
Text
6 lines
407 B
Text
$NetBSD: distinfo,v 1.1 2020/05/22 03:24:54 markd Exp $
|
|
|
|
SHA1 (savesym.r31565.tar.xz) = 4f7c2d053f1721eab3e16f26ad0e2819055d67a8
|
|
RMD160 (savesym.r31565.tar.xz) = 4a9dc6cc67bd73f49f4757d1e0e29287b13b5a3a
|
|
SHA512 (savesym.r31565.tar.xz) = 212ea18ebb424f9b64ca9c75a783dee9ceebac09adcd6ff6c721d90796bf4121aa8710935529451e6f9a4de9c3cb5910b6c07d6fd6b7093c4b9904348f43a1fb
|
|
Size (savesym.r31565.tar.xz) = 1356 bytes
|