/usr/share/entity-map/0.1.0/LDextra.2html is in linuxdoc-tools 0.9.71-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | [congr ] &congr;
[dArr ] ⇓
[dquot ] "
[ero ] &
[etago ] </
[hArr ] ⇔
[harr ] ↔
[mid ] ∣
[mu ] µ
[oplus ] ⊕
[otimes] ⊗
[setmn ] ∖
[tm ] ™
[uArr ] ⇑
[vDash ] ⊨
[vdash ] ⊢
urlnam <@@urlnam>
refnam <@@refnam>
|